[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

LASER Summer School on Software Engineering

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

Application deadline: April 30, 2007

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
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 [EMAIL PROTECTED]


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 

Departamento de Computaciòn
Universidad Nacional de Río Cuarto

Reply via email to