This website is about the 2011 edition of the school. Visit this year's edition of LASER.

8th LASER Summer School on Software Engineering

 

Tools for Practical Software Verification

September 4-10, 2011 - Elba Island, Italy

Edmund Clarke (Carnegie Mellon)
Patrick Cousot (École Normale Supérieure)
Patrice Godefroid (Microsoft Research)
Rustan Leino (Microsoft Research)
Bertrand Meyer (ETH Zurich)
César Muñoz (NASA Langley Research Center)
Christine Paulin-Mohring (Université Paris-Sud)
Andrei Voronkov (University of Manchester)

 
   
 

Contacts

Feel free to contact us via e-mail: se-laser@lists.inf.ethz.ch

Phone +41 44 632 83 46
Fax +41 44 632 14 35

Mailing address:
LASER Summer School
Chair of Software Engineering
Clausiusstrasse 59
CH-8092 ETH Zentrum
Zürich, Switzerland

Organizing committee:
Martin Nordio, ETH Zurich
Claudia Guenthart, ETH Zurich
Julian Tschannen, ETH Zurich

 

Chair of Software Engineering - ETH Zurich Last update: 12.08.2011