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.
- 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