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

APPLIED SOFTWARE VERIFICATION
LASER Summer School, Elba Island (Italy), 8-15 September 2007
Directors: Tony Hoare and Bertrand Meyer

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 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 applied, with a strong contribution from theory. The
format of the school favors extensive interaction between participants
and speakers.

The school brings together six speakers, each closely involved with
tools for verification:

   * Thomas Ball
   * Gérard Berry
   * Tony Hoare
   * Bertrand Meyer
   * Peter Mueller
   * Natarajan Shankar

The style will be highly participative, with considerable use of
verification tools and the use of a common case study. Participants will
have the opportunity to become thoroughly familiar with these tools
through both lectures and practical exercises.

Registration is still possible; see http://se.ethz.ch/laser for details
and online registration.




Gérard Berry,
Chief Scientist, Esterel Technologies
679, av, du Dr. J. Lefebvre , 06270 Villeneuve-Loubet, France
+33 4 92 02 40 65
[EMAIL PROTECTED]
www.esterel-technologies.com

Reply via email to