TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 05241

Synthesis and Planning

( 12. Jun – 17. Jun, 2005 )

(zum Vergrößern in der Bildmitte klicken)

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/05241

Organisatoren



Motivation

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.


Teilnehmer
  • 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]