Organizing Committee

Bertrand Meyer, Chair
    ETH Zurich, Switzerland

Cristiano Calcagno, Program Chair
     Imperial College, London, UK

Martin Nordio, Organization Chair
     ETH Zurich, Switzerland

Keynote Speakers

Josh Berdine
     Microsoft Research

About APV

Automatic software verification is once again at the forefront of research in computer science, thanks to a combination of novel techniques and more powerful hardware to implement them. The aim of the APV symposium is to bring together researchers to exchange and develop new ideas in all aspects of software verification, from design to implementation.

Topics of interest include but are not limited to:

• automatic theorem provers
• static program analysis
• model checking
• tool descriptions and experience reports
• case studies

For local information please contact:

Francisco Bavera.

Publication

Informal proceedings will be published on the web