Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 05241

Synthesis and Planning

( Jun 12 – Jun 17, 2005 )

Please use the following short url to reference this page:



This meeting has brought together researchers working in two complementary fields: automatic synthesis of (control) programs, and methods for devising planning algorithms in artifical intelligence (AI). Thus, the seminar combines a strong thread of current research in automata theory with an area of possible but so far unexplored applications.

The idea of organizing such a seminar arose during IJCAI 2003, where Vardi gave an invited talk on the automata-theoretic approach to design verification. In discussions between Kautz and Vardi after the talk it became clear that methods of synthesizing strategies for reactive systems is an issue of common interest to automata theory and artificial intelligence.

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