Events

This page gives the complete list of events organized by our group, at ETH and elsewhere.

Additional events of interest may be found on Bertrand Meyer's events page.

Upcoming events

TOOLS Europe 2012: 50th International Conference on Object, Models, Components, Patterns, on 29–31 May 2012 — Prague, Czech Republic.
LASER Summer School on Software Engineering: Innovative Languages for Software Engineering, on 2–8 September 2012 — Elba Island, Italy.

Formal Methods and Elections (talk), by Joseph Kiniry. 30 November 2011 at 16:15 in room RZ F21, ETH Zurich.
Concepts of Concurrent Computation (compact course), 24 November 2011 — ETH Zurich, Switzerland.
Agile methods: the Good, the Bad and the Ugly (compact course), 23 November 2011 — ETH Zurich, Switzerland.
Software Testing and Verification (compact course), 18 November 2011 — ETH Zurich, Switzerland.
Requirements Engineering (compact course), 17 November 2011 — ETH Zurich, Switzerland.
Software Engineering for Outsourcing and Distributed Development (compact course), 27 October 2011 — ETH Zurich, Switzerland.
LASER Summer School on Software Engineering: Practical Tools for Software Verification, on September 4-10, 2011 — Elba Island, Italy.
TOOLS 2011: TOOLS Federated Conferences, on 27 June - 1 July, 2011 — Zuerich, Switzerland.
Requirements Engineering (compact course), 08 April 2011 — ETH Zurich, Switzerland.
Software Testing and Verification (compact course), 01 April 2011 — ETH Zurich, Switzerland.
Concepts of Concurrent Computation (compact course), 31 March 2011 — ETH Zurich, Switzerland.

Future of Software Engineering Symposium, on 22-23 November 2010, ETH Zurich
Informatics Europe, 6th Annual INFORMATICS-Europe Meeting, 12-13 October 2010, Prague with two pre-summit workshops on October 11.
LASER Summer School on Software Engineering ; Empirical Software Engineering, on September 5-11, 2010 — Elba Island, Italy.
SEAFOOD 2010, Fourth International Conference, SEAFOOD 2010 was held in Peterhof (Saint Petersburg), Russia, on June 17-18, 2010.
TOOLS-EUROPE 2010 48th International Conference on Object, Models, Components, and Patterns, held in Málaga, Spain, on June 28 - July 2, 2010.

FATS: Formal Approaches To Software Seminar series at ETH Zurich, Fall semester, 2009 — ETH, Zurich.
Informatics Europe, 5th Annual INFORMATICS-Europe Meeting, 8-9 October 2009, Paris with a pre-summit workshopt for the Department Chairs and Research Directors on the 7 October, 2009.
LASER Summer School on Software Engineering Software Testing: The Practice And The Science, September 6-12, 2009 — Elba Island, Italy.
TOOLS-EUROPE 2009 47th International Conference on Object, Models, Components, and Patterns, held in Zurich between 29 June and 3 July 2009.
SEAFOOD 2009 Third International Conference on Software Engineering Approaches For Offshore and Outsourced Development at ETH Zurich, July 2-3 2009
APV 2009 Symposium on Automatic Program Verification, Argentina, February 14-15, 2009.

LASER Summer School 2008 on Software Engineering September 7 - 13, 2008 — Elba, Italy.
The next European Computer Science Summit ECSS 2008 will be held in Zurich on October 8 to 10, 2008.
TOOLS-EUROPE 2008 has been organized again at ETH Zurich from June 30th to July 4 2008. The conference covered all modern approaches to software development, with a special but not exclusive emphasis on O-O and components.
SEAFOOD 2008 Second International Conference on Software Engineering Approaches For Offshore and Outsourced Development at ETH Zurich, July 3-4 2008

LASER summer school on Software Engineering in Elba, Italy. Theme for 2007: Applied Software Verification, as part of Tony Hoare's "Grand Challenge" on software verification, at Elba, Italy, 9-15 September 2007
Technology of Object-Oriented Languages and Systems , Objects, Models, Components, Patterns, at ETH Zurich, 24-28 June 2007.
The first International Conference on Tests And Proofs (TAP) at ETH Zurich, 12-14 February 2007
First International Conference on Software Engineering Approaches For Offshore and Outsourced Development at ETH Zurich, 5-6 February 2007.

The second European Computer Science Summit at ETH Zurich, 16-17 October 2006: annual meeting of European CS department heads.
LASER Summer School on Software Engineering « Practical Programming Processes », Elba, Italy, 17-23 September 2006.

First European Computer Science Summit Zurich, 20-21 October 2005 (meeting of CS department heads).
IFIP International conference on Verified software: Tools, Theories, Experiments VSTTE , Zurich, 10-14 October 2005, chaired by Tony Hoare and Jay Misra, part of the ETH 150-th anniversary celebrations.