Keynote Speakers
A. Cimatti
(IRST Trento)
T. Nipkow (TU Munich)
A. Stump (Washington U in St. Louis)
C. Tinelli (U of Iowa)
Program & Workshop Chair
B. Beckert (U of Koblenz)
Program Committee
S. Autexier (DFKI & U Saarbrücken)
Y. Bertot (INRIA Sophia Antipolis)
B. Dutertre (SRI International)
R. Hähnle (Chalmers U, Gothenburg)
D. Hutter (DFKI Saarbrücken)
A. Ireland (Heriot-Watt U, Edinburgh)
D. Kapur (U of New Mexico)
J.-P. Katoen (RWTH Aachen)
J. Kiniry (U Dublin)
H. Mantel (RWTH Aachen)
F. Massacci (U of Trento)
S. Merz (INRIA Lorraine)
T. Mossakowski (U of Bremen)
L. Paulson (U of Cambridge)
W. Reif (U of Augsburg)
J. Richardson (Powerset Inc.)
L. Viganò (U of Verona)
C. Walther (TU Darmstadt)
Steering Committee
S. Autexier (DFKI & U Saarbrücken)
H.
Mantel (RWTH Aachen)
Call for papers
PDF - ASCII
Important dates
| Extended Abstract Submission Deadline: |
May 21, 2007 |
|
| Extended Paper Submission Deadline: |
May
25, 2007 |
|
| Notification of acceptance: |
June 8,
2007 |
|
| Early registration deadline: |
June 10,
2007 (tentative) |
|
| Final version due: |
June
21th,
2007 |
|
| Workshop date: |
July 15-16, 2007 |
Contact
If you need further information do not hesitate
to contact us by sending an e-mail to beckert@uni-koblenz.de
|
Accepted papers
- Jia Meng, Lawrence Paulson and Gerwin Klein. A Termination Checker for Isabelle Hoare Logic
- Peter H. Schmitt and Benjamin Weiss. Inferring Invariants by Symbolic Execution
- Olivera Pavlovic, Ralf Pinger and Maik Kollmann. Automation of Formal Verification of PLC Programs Written in IL
- Andre Platzer. Combining Deduction and Algebraic Constraints for Hybrid System Analysis
- Wojciech Mostowski. Fully Verified Java Card API Reference Implementation
- Pascal Fontaine. Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class
- Till Mossakowski, Christian Maeder and Klaus Lüttich. The Heterogeneous Tool Set (Hets)
- Eyad Alkassar, Mark Hillebrand, Steffen Knapp, Rostislav Rusev and Sergey Tverdyshev. Formal Device and Programming Model for a Serial Interface
- Philipp Rümmer. A Sequent Calculus for Integer Arithmetic with Counterexample Generation
- Borislav Gajanovic and Bernhard Rumpe. ALICE: An Advanced Logic for Interactive Component Engineering
- Bruno Langenstein, Andreas Nonnengart, Georg Rock and Werner Stephan. A History-based Verification of Distributed Applications
- Daniel Larsson and Reiner Hähnle. Symbolic Fault Injection
- Mamoun Filali. A Mechanization of Phylogenetic Trees
|