Innovative Languages for
Software Engineering

Many thanks to all speakers and participants of LASER 2012!

Goals

The LASER summer school, organized by the ETH Chair of Software Engineering, 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 for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers.

Topic and speakers

The speakers are among the most respected experts in the field:

• Andrei Alexandrescu, Facebook
   on Systems Programming and Beyond using C++ and D

• Roberto Ierusalimschy, PUC Rio
   on Real Scripting with Lua

• Ivar Jacobson, Ivar Jacobson International
   on From UML to Semat
   and Re-founding Software Engineering – SEMAT at the Age of Three

• Erik Meijer, Microsoft Research
  on Foundations of C# and LINQ

• Bertrand Meyer, ETH Zurich and Eiffel Software
   on Eiffel: a study in language design and evolution

• Martin Odersky, EPF Lausanne
  on Component Abstractions in Scala

• Simon Peyton-Jones, Microsoft Research
   on Adventures with types in Haskell

• Guido van Rossum, Google
   on Language design patterns in Python

With a guest lecture from:

• Mehdi Jazayeri, University of Lugano
   on Programming for the other 99%

Venue

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

Since its inception in 2004, LASER has featured the following lecturers:

• 2011 - Tools for Practical Software Verification Edmund Clarke, Patrick Cousot, Patrice Godefroid, Rustan Leino, Bertrand Meyer, César Muñoz, Christine Paulin-Mohring, Andrei Voronkov
• 2010 - Empirical Software Engineering Victor Basili, Joshua Bloch, Barry Boehm, Natalia Juristo, Tim Menzies, Bertrand Meyer, Walter F. Tichy
• 2009 - Software Testing: The Practice And The Science Alberto Avritzer, Michel Cukier, Yuri Gurevich, Mark Harman, Bertrand Meyer, Tom Ostrand, Mauro Pezzè, Elaine Weyuker
• 2008 - Concurrency and Correctness Tryggve Fossum, Maurice Herlihy, C.A.R Hoare, Bertrand Meyer, Robin Milner, Peter O'Hearn, Daniel A. Reed
• 2007 - Applied Software Verification Thomas Ball, Gérard Berry, C.A.R Hoare, Bertrand Meyer, Peter Müller, Natarajan Shankar
• 2006 - Practical Programming Processes Ralph-Johan Back, Miguel de Icaza, Erik Meijer, Bertrand Meyer, Mary Poppendieck, Andreas Zeller
• 2005 - Software engineering for concurrent and real-time systems Laura K. Dillon, Bertrand Meyer, Jayadev Misra, Amir Pnueli, Wolfgang Pree, Joseph Sifakis
• 2004 - Practical Techniques of Software Quality Jean-Raymond Abrial, Ernie Cohen, Erich Gamma, Bertrand Meyer, Carroll Morgan, Pamela Zave

Organized by

Chair of
Software Engineering

Supported by