VERIFY-2010: July 20-21

6th International Verification Workshop

associated with IJCAR


The VERIFY workshop series aims at bringing together people who are interested in the development of safety-critical and security-critical systems, in formal methods, in the development of automated theorem proving techniques, and in the development of tool support. Practical experiences gained in realistic verifications are of interest to the automated theorem proving community and new theorem proving techniques should be transferred into practice. The overall objective of the VERIFY workshops is to identify open problems and to discuss possible solutions under the theme:

What are the verification problems? What are the deduction techniques?

More information can be found here.


Invited Talks

The abstracts of the invited talks can be found on the web page of the workshop.

Program Chairs

Markus Aderhold, Technische Universitaet Darmstadt, Germany
Serge Autexier, DFKI Bremen GmbH, Germany
Heiko Mantel, TU Darmstadt, Germany

Program Committee:

Bernhard Beckert, University of Koblenz, Germany
Iliano Cervesato, Carnegie Mellon University - Qatar Campus, Qatar
Cédric Fournet, Microsoft Research, United Kingdom
Joshua Guttman, Worcester Polytechnic Institute, United States
Joe Hurd, Galois, Inc., United States
Dieter Hutter, DFKI GmbH, Germany
Reiner Hähnle, Chalmers University of Technology, Sweden
Paul Jackson, School of Informatics, University of Edinburgh, United Kingdom
Cliff Jones, Newcastle University, United Kingdom
Deepak Kapur, University of New Mexico, United States
Joost-Pieter Katoen, RWTH Aachen, Germany
Gerwin Klein, NICTA and UNSW, Australia
Gavin Lowe, Oxford University Computing Laboratory, United Kingdom
Fabio Martinelli, IIT-CNR, Italy
Catherine Meadows, NRL, United States
David Pichardie, INRIA Rennes - Bretagne Atlantique, France
Gerardo Schneider, University of Gothenburg, Sweden
Johann Schumann, RIACS/NASA Ames, United States
Christoph Walther, Technische Universitaet Darmstadt, Germany