6th International Verification Workshop
associated with IJCAR
Overview
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.
Programme
Invited Talks
- Véronique Cortier (LORIA INRIA-Lorraine, France): Verification of Security Protocols
- Cliff Jones (Newcastle University, UK): Abstractions Before Proofs
- André Platzer (Carnegie Mellon University, USA): Real Analysis for Complex Systems
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