Fwd: LASER Summer School on Software Engineering

2 views
Skip to first unread message

Luca de Alfaro

unread,
Apr 26, 2007, 1:36:36 PM4/26/07
to ucsc...@googlegroups.com
Note the location ;-)
Luca

---------- Forwarded message ----------
From: Martin Nordio <martin...@inf.ethz.ch >
Date: Apr 26, 2007 9:23 AM
Subject: LASER Summer School on Software Engineering
To: Bertrand Meyer <Bertran...@inf.ethz.ch>

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



http://laser.inf.ethz.ch
Application deadline: June 15th, 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
* Gerard Berry, Esterel Technologies
* Tony Hoare, Microsoft Research
* Bertrand Meyer, ETH Zurich
* Peter Mueller, 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 May 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
la...@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.

   Martin Nordio

  LASER organizing committee

--
Department of Computer Science, ETH Zurich, Switzerland
http://se.inf.ethz.ch/people/nordio/, phone: +41 1 63 20297
--

vishwa@soe

unread,
Apr 26, 2007, 7:04:38 PM4/26/07
to UCSC CS Theory and Software
Reminds me of "Able was I ere I saw Elba"... I may not want to come
back if I go :-)

> Use the online registration form available on the LASER websitehttp://laser.inf.ethz.ch.


> Registration is open until 30 May 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

> l...@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.
>
> Martin Nordio
>
> LASER organizing committee
>
> --

> Department of Computer Science, ETH Zurich, Switzerlandhttp://se.inf.ethz.ch/people/nordio/, phone: +41 1 63 20297
> --

Reply all
Reply to author
Forward
0 new messages