Automatic Program Verification


Automatic Program Verification
print page

The Symposium on Automatic Program Verification will be held at Río Cuarto, Argentina on February 15, 2009.


  • APV will take place in Anfiteatro 2, Pabellon 1 of University of Rio Cuarto. See a map here

    Organizing Committee

    The Symposium will be co-located with the RIO 2009 summer school, on February 16-21.

    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.


    Informal proceedings will be published on the web

  • top