This website is about the 2007 edition of the school. Visit this year's edition of LASER.

LASER Summer School on Software Engineering


Applied Software Verification

Practical advances towards a Grand Challenge

September 9 - 15, 2007
Elba, Italy

Directors: Tony Hoare (Microsoft Research), Bertrand Meyer (ETH Zürich)



  • There will be a SPARK presentation on Friday afternoon by Rod Chapman (Praxis High Integrity Systems Ltd).
  • Goals

    Through its successful sessions since 2004, the LASER summer school (Laboratory for Applied Software Engineering Research), organized by ETH Zurich, brings together the concepts and practice of software engineering in the idyllic setting of the Elba Island off the coast of Tuscany, easily reachable by air, car, bus or train.

    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, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants 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:

    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.


    The school takes place at the magnificent Hotel del Golfo in Golfo di Procchio, Elba. Along with an intensive scientific program, participants will have time to enjoy the natural and cultural riches of this history-laden jewel of the Mediterranean.

    Previous lecturers at LASER

    • Jean-Raymond Abrial
    • Ralph Back
    • Ernie Cohen
    • Laura Dillon
    • Erich Gamma
    • Miguel de Icaza
    • Erik Meijer
    • Jay Misra
    • Carroll Morgan
    • Amir Pnueli
    • Mary Poppendieck
    • Wolfgang Pree
    • Joseph Sifakis
    • Pamela Zave
    • Andreas Zeller

    This event is listed at the Computer Science Event List,


    Chair of Software Engineering - ETH Zürich Last update: 23.08.2007