[TYPES/announce] LASER Summer School on Software Engineering
Martín Nordio
nordio at dc.exa.unrc.edu.ar
Fri Jan 26 14:08:09 EST 2007
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.
--
Departamento de Computaciòn
Universidad Nacional de Río Cuarto
More information about the Types-announce
mailing list