Automatic Program Verification


Automatic Program Verification
print page

Contact information

The Symposium will be held at Rio Cuarto, Argentina on February 14-15, 2009.


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

The Symposium is organized by the Chair of Software Engineering, Departement Informatik at the Eidg. Techn. Hochschule Zürich.

ETH Zurich
Chair of Software Engineering
ETH Zentrum, RZ Building
CH-8092 Zurich
Fax: +41 1 632 14 35

The organizers can be reached under the following email-address.

martin.nordio AT

© 2008 ETH Zurich | Chair of Software Engineering