November 11 – 16 , 2012, Dagstuhl Seminar 12461
Last update: March 25 2013

Games and Decisions for Rigorous Systems Engineering

Participants

  • Francesco Alberti (University of Lugano, CH)
  • Dirk Beyer (Universität Passau, DE)
  • Nikolaj S. Bjørner (Microsoft Corporation – Redmond, US)
  • Tomáš Brázdil (Masaryk University – Brno, CZ)
  • Krishnendu Chatterjee (IST Austria – Klosterneuburg, AT)
  • Swarat Chaudhuri (Rice University – Houston, US)
  • Laurent Doyen (ENS – Cachan, FR)
  • Uwe Egly (TU Wien, AT)
  • Azadeh Farzan (University of Toronto, CA)
  • Bernd Finkbeiner (Universität des Saarlandes, DE)
  • Alberto Griggio (Bruno Kessler Foundation – Trento, IT)
  • Aarti Gupta (NEC Laboratories America, Inc. – Princeton, US)
  • Ashutosh Kumar Gupta (IST Austria – Klosterneuburg, AT)
  • Arie Gurfinkel (Carnegie Mellon University – Pittsburgh, US)
  • Jochen Hoenicke (Universität Freiburg, DE)
  • Radu Iosif (VERIMAG – Grenoble, FR)
  • Moa Johansson (Chalmers UT – Göteborg, SE)
  • Igor Konnov (TU Wien, AT)
  • Konstantin Korovin (University of Manchester, GB)
  • Laura Kovács (TU Wien, AT)
  • Axel Legay (INRIA Rennes – Bretagne Atlantique, FR)
  • Rupak Majumdar (MPI-SWS – Kaiserslautern, DE)
  • Anca Muscholl (University of Bordeaux, FR)
  • Albert Oliveras (Polytechnic University of Catalonia, ES)
  • Joel Ouaknine (University of Oxford, GB)
  • David Parker (University of Birmingham, GB)
  • Brigitte Pientka (McGill University – Montreal, CA)
  • Ruzica Piskac (MPI-SWS – Saarbrücken, DE)
  • Albert Rubio (UPC – Barcelona, ES)
  • Andrey Rybalchenko (TU München, DE)
  • Helmut Seidl (TU München, DE)
  • Martina Seidl (Universität Linz, AT)
  • Natasha Sharygina (University of Lugano, CH)
  • Ana Sokolova (Universität Salzburg, AT)
  • Armando Solar-Lezama (MIT – Cambridge, US)
  • Eugenia Ternovska (Simon Fraser University – Burnaby, CA)
  • Helmut Veith (TU Wien, AT)
  • Tomas Vojnar (Brno University of Technology, CZ)
  • Andrei Voronkov (University of Manchester, GB)
  • Georg Weissenbacher (TU Wien, AT)
  • Josef Widder (TU Wien, AT)
  • Thomas Wies (New York University, US)
  • Florian Zuleger (TU Wien, AT)