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)


Other activities

  • Sea, sun, and software

Software Engineering is our topic number one but we do not forget that one has to relax in order to learn efficiently. The hotel's private beach and Elba's other beautiful beaches are available to all the participants at no additional cost. We have also booked sunny weather for the whole duration of the school.

  • Excursion

There is no better place to discuss the latest developments in software engineering than the blue waters of the Tyrrhenian Sea. A boat trip with a stop for swimming will be organized on Saturday, 10 September. Departure: 14:30. Duration: 4.5 hours.

  • Welcome party, conference dinner etc.

We strongly encourage the participants to discuss their research with other people and exchange ideas. The school provides many opportunities for interaction with the speakers and between the participants. Among them are the welcome party on September 4, the lecture-free afternoon followed by the conference dinner on September 7, free time in early afternoons every day, dinners taken together every evening at the hotel's beach restaurant, the final boat trip, and countless other occasions to start interesting collaborations.  


Chair of Software Engineering - ETH Zurich Last update: 12.08.2011