Logo
Third International Workshop on
Verification, Model Checking and Abstract Interpretation

Home

Call for papers

Program committe

Registration

Conference program

Accomodation

General Information

 

 

 

 

 

 

 

 

   

Program Chair

Agostino Cortesi UniversitÓ Ca' Foscari, Venice, Italy

Program Committee

Annalisa Bossi Univ. Ca' Foscari (I)
Dennis Dams   Bell Labs (USA) and TU Eindhoven (NL)
Javier Esparza TU Munchen (D)
Chris Hankin Imperial College (UK)
Joxan Jaffar  NU Singapore (SU)
Thomas Jensen Irisa Rennes (F)
Cosimo Laneve Univ. di Bologna (I)
Baudouin Le Charlier UC Louvain La Neuve (B)
Michael Leuschel  Univ. of Southampton (UK)
Giorgio Levi  Univ. di Pisa (I)
Torben Mogensen DIKU, Copenhagen (DK)
Supratik Mukhopadhyay University of Pennsylvania (USA)
Thomas Reps   Univ of Wisconsin (USA)
Hanne Riis Nielson TU of Denmark (DK)
David Schmidt Kansas State University (USA)
Pascal Van Hentenryck Brown University (USA)

Organizing Committee

Sabina Rossi, Chiara Braghin, Riccardo Focardi, Carla Piazza, Agostino Cortesi

Sponsors

Dip. di Informatica UniversitÓ Ca' Foscari di Venezia
EAPLS (European Association for Programming Languages and Systems)