printethlogo
Automatic Program Verification
 
Search

 

Automatic Program Verification
print page

Organizing Committee

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

Bertrand Meyer, Chair
    ETH Zürich, Switzerland

Cristiano Calcagno, Program Chair
     Imperial College, London, UK

Martin Nordio, Organization Chair
     ETH Zürich, Switzerland

Program committee members

Nazareno Aguirre
     University of Rio cuarto, Argentina

Pedro D'Argenio
     University of Cordoba, Argentina

Dino Distefano
     Queen Mary, University of London, UK

Dave Clarke
     Universiteit Leuven, Belgium

Marcelo Frias
     University of Buenos Aires, Argentina

Dan Ghica
     University of Birminghan, UK

Daniel Kröning
     Oxford University, UK

Viktor Kuncak
     EPFL, Switzerland

Peter Müller
     ETH Zurich, Switzerland

Xavier Rival
     INRIA, France

Andrey Rybalchenko
     MPI-SWS, Germany

Sebastian Uchitel
     University of Buenos Aires, Argentina

Local Organizing Committee

Francisco Bavera, University of Rio Cuarto, Argentina
German Regis, University of Rio Cuarto, Argentina
Jorge Aguirre, University of Rio Cuarto, Argentina

top