Dagstuhl Seminar 05241
Synthesis and Planning
( Jun 12 – Jun 17, 2005 )
(Click in the middle of the image to enlarge)
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/05241
Organizers
- Henry A. Kautz (University of Washington - Seattle, US)
- Wolfgang Thomas (RWTH Aachen, DE)
- Moshe Y. Vardi (Rice University - Houston, US)
Contact
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) [dblp]
- 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]
