LASER Summer School on Software Engineering

[Martin Nordio]

LASER Summer School on Software Engineering

Applied Software Verification
Practical advances towards a Grand Challenge
September 9-15, 2007, Elba, Italy



http://laser.inf.ethz.ch
Application deadline: April 30, 2007

Goals
The LASER school is intended both for researchers (including PhD  
students) and for professional software engineers and managers who  
want to benefit from the best in software
technology advances. The focus of LASER is resolutely practical,  
although theory is welcome to establish solid foundations. The format  
of the school favors extensive interaction
between participants and speakers.

Topics and speakers

The 2007 LASER school is part of the ongoing "Grand Challenge" on  
software verification, initiated by Tony Hoare. It has a special  
focus on tools for software verification. This means
in particular that it has a highly practical character and will  
provide participants with a clear view of techologies and tools  
available today to verify software. The school brings
together six speakers, each closely involved with tools for  
verification:

* Thomas Ball, Microsoft Research
* Gérard Berry, Esterel Technologies
* Tony Hoare, Microsoft Research
* Bertrand Meyer, ETH Zurich
* Peter Müller, ETH Zurich
* Natarajan Shankar, SRI International


How to apply?

Use the online registration form available on the LASER website  
http://laser.inf.ethz.ch.
Registration is open until 30 April 2007. The number of participants  
is strictly limited to ensure quality interaction with the lecturers  
and the rest of the audience. For more
information, visit our website or contact the organizers at  
laser at se.inf.ethz.ch.


Venue

As in previous years, LASER is held in the magnificent setting of the  
Elba island off the coast of Tuscany, easily reachable by plane  
(Pisa) and train. Time is set aside
to avoid the amenities of the 4-star Hotel del Golfo (private beach,  
tennis court etc.) as well as the natural and cultural riches of  
Elba, a history-laden jewel of the
Mediterranean.