June 12 – 17 , 2005, Dagstuhl Seminar 05241

Synthesis and Planning

Participants

  • Piergiorgio Bertoli (Centro Ricerche FIAT – Trento, IT)
  • Dietmar Berwanger (University of Bordeaux, FR)
  • Alexis Bouquet (University of Bordeaux, FR)
  • Xavier Briand (University of Bordeaux, FR)
  • Diego Calvanese (Free University of Bozen-Bolzano, IT)
  • Giuseppe De Giacomo (Sapienza University of Rome, IT)
  • Jacques Duparc (Univesity of Lausanne, CH)
  • Stefan Edelkamp (TU Dortmund, DE)
  • Kousha Etessami (University of Edinburgh, GB)
  • Alfonso Gerevini (University of Brescia, IT)
  • Enrico Giunchiglia (University of Genova, IT)
  • Robert Givan (Purdue University – West Lafayette, US)
  • Robert P. Goldman (SIFT – Minneapolis, US)
  • Erich Grädel (RWTH Aachen, DE)
  • David Janin (University of Bordeaux, FR)
  • Marcin Jurdzinski (University of Warwick – Coventry, GB)
  • Henry A. Kautz (University of Washington – Seattle, US)
  • Vahur Kotkas (Technical University – Tallinn, EE)
  • Stephan Kreutzer (HU Berlin, DE)
  • Stéphane Lafortune (University of Michigan – Ann Arbor, US)
  • Martin Lange (LMU München, DE)
  • Martin Leucker (TU München, DE)
  • Christof Löding (RWTH Aachen, DE)
  • Derek Long (University of Strathclyde, GB)
  • Rupak Majumdar (UCLA, US)
  • Oded Maler (VERIMAG – Grenoble, FR)
  • Anca Muscholl (University Paris-Diderot, FR)
  • Bernhard Nebel (Universität Freiburg, DE)
  • Damian Niwinski (University of Warsaw, PL)
  • Jan Obdr˛įlek (University of Edinburgh, GB)
  • Madhusudan Parthasarathy (University of Illinois – Urbana-Champaign, US)
  • Sophie Pinchinat (IRISA / CNRS, FR)
  • Marco Pistore (Universitą di Trento, IT)
  • Nir Piterman (EPFL – Lausanne, CH)
  • Amir Pnueli (New York University, US)
  • William Rounds (University of Michigan – Ann Arbor, US)
  • Pierre-Yves Schobbens (University of Namur, BE)
  • Bart Selman (Cornell University, US)
  • John G. Thistle (University of Waterloo, CA)
  • Wolfgang Thomas (RWTH Aachen, DE)
  • Moshe Y. Vardi (Rice University – Houston, US)
  • Sergei Vorobyov (Uppsala University, SE)
  • Igor Walukiewicz (University of Bordeaux, FR)
  • Thomas Wilke (Universität Kiel, DE)