5th International Verification Workshop - VERIFY'08

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

Sydney, August 10-11, 2008

in connection with IJCAR 2008

Keynote Speakers

G. Barthe* (IMDEA Software, Madrid)
G. Heiser (National ICT Australia)
A. Groce* (NASA JPL)
P. Kalla* (U of Utah)

* invited jointly with the CFV Workshop

Program & Workshop Chairs

B. Beckert (U of Koblenz)
G. Klein (National ICT Australia)

Program Committee

S. Autexier (DFKI & U Saarbrücken)
G. Barthe (IMDEA Software, Madrid)
P. Baumgartner (National ICT Australia)
B. Dutertre (SRI International)
R. Hähnle (Chalmers U, Gothenburg)
A. Ireland (Heriot-Watt U, Edinburgh)
J. Kiniry (U Dublin)
H. Mantel (TU Darmstadt)
S. Merz (INRIA Lorraine)
C. Morgan (U of New South Wales)
P. Müller (Microsoft Research)
M. Norrish (National ICT Australia)
W. Paul (U Saarbrücken)
L. Paulson (U of Cambridge)
W. Reif (U of Augsburg)
W. Schulte (Microsoft Research)
J. Schumann (NASA Ames Research Center)
L. Viganò (U of Verona)
T. Walsh (National ICT Australia)
C. Walther (TU Darmstadt)

Steering Committee

S. Autexier (DFKI & U Saarbrücken)
H. Mantel (TU Darmstadt)

Call for papers

PDF - ASCII



CADE-21 

Important dates

Extended Abstract Submission Deadline: May 29, 2008

Extended Paper Submission Deadline: June 5, 2008

Notification of acceptance: June 30, 2008

Final version due: July 15th, 2008

Workshop date: Aug 10-11, 2008

Previous VERIFY workshops

Contact

If you need further information do not hesitate
to contact us by sending an e-mail to beckert@uni-koblenz.de and/or gerwin.klein@nicta.com.au

Accepted Papers

  • Hasan Amjad, Richard Bornat: Model Checking for Stability Analysis in Rely-Guarantee Proofs
  • Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif: Compositional Proofs with Symbolic Execution
  • Richard Bubel, Reiner Hähnle, Peter H. Schmitt: Specification Predicates with Explicit Dependency Information
  • David Cock: Bitfields and Tagged Unions in C: Verification through Automatic Generation
  • Matthias Daum, Jan Dörrenbächer, Sebastian Bogan: Model Stack for the Pervasive Verification of a Microkernel-based Operating System
  • Niusha Hakimipour, Paul Strooper, Roger Duke: Exploring Model-Based Development for the Verification of Real-Time Java Code
  • Gurvan Le Guernic: Precise Dynamic Verification of Confidentiality
Bernhard Beckert, Gerwin Klein