Events

This page lists the various events that were organized by our group, at ETH and elsewhere.

LASER Summer School on Software Engineering: Concurrency: the next frontiers, on 6–12 September 2015 — Elba Island, Italy.

LASER Summer School on Software Engineering: Leading-Edge Software Engineering, on 7–13 September 2014 — Elba Island, Italy.
Niklaus Wirth 80th Birthday Symposium on 20 February 2014 — ETH Zürich, Switzerland.

LASER Summer School on Software Engineering: Software for the Cloud and Big Data, on 8–14 September 2013 — Elba Island, Italy.

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

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.