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 10501

Advances and Applications of Automata on Words and Trees

( 12. Dec – 17. Dec, 2010 )

(zum Vergrößern in der Bildmitte klicken)

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

Organisatoren

Kontakt


Programm

Summary

Automata theory is one of the longest established areas in computer science. Over the past few years, automata theory has not only developed in many different directions, but has also evolved in an exciting way at several levels: the exploration of specific new models and applications has at the same time stimulated a variety of deep mathematical theories.

The insights developed in automata theory had a strong impact on numerous scientific areas. Standard applications include pattern matching, syntax analysis, foundations of XML, and hardware and software verification. In recent years, novel applications have emerged from biology, physics, cognitive sciences, neurosciences, control, tomography, linguistics, mathematics, etc. The new developments in information technology have increased the need for formally-based design and verification methods to cope with emerging technical challenges in network security, electronic business, mobile intelligent devices, and high performance computing.

At the same time, the mathematical foundations of automata theory rely on more and more advanced parts of mathematics. While, in the early sixties, only elementary graph theory and combinatorics were required, new tools from non-commutative algebra (semigroups, semirings and formal power series), logic, probability theory and symbolic dynamics have been successively introduced and the latest developments borrow ideas from game theory, topology and geometry. Both trends have enhanced the role of fundamental research in automata theory and the importance of closer interaction between theoretical and applied scientists.

On the one hand, significant advances in fundamental aspects of automata theory can be measured by recent progress on some deep open questions of the classical theory. On the other hand, new theoretical problems arise from applications and also from the sprouting of new automata models and generative devices, motivated by applications, which require a systematic investigation of their theoretical aspects.

The aim of the seminar was to discuss and systematize the recent fast progress in automata theory and to identify important directions for future research. For this, the seminar brought together more than 40 researchers from automata theory and related fields of applications. We had 19 talks of 30 minutes and 5 one-hour lectures, leaving ample room for discussions. The talks in this seminar ranged over a broad assortment of subjects with the underlying theme of automata on words and trees. It was a very fruitful seminar and has hopefully initiated new directions in research. We look forward to similar meetings in the future!


Teilnehmer
  • Bahareh Afshari (University of Edinburgh, GB)
  • Marie-Pierre Béal (University Paris-Est - Marne-la-Vallée, FR)
  • Dietmar Berwanger (ENS - Cachan, FR) [dblp]
  • André Böhm (Goethe-Universität - Frankfurt a. M., DE)
  • Julian Bradfield (University of Edinburgh, GB) [dblp]
  • Véronique Bruyère (University of Mons, BE) [dblp]
  • Olivier Carton (University Paris-Diderot, FR) [dblp]
  • Christian Choffrut (University of Paris VII, FR) [dblp]
  • Thomas Colcombet (University of Paris VII, FR) [dblp]
  • Volker Diekert (Universität Stuttgart, DE) [dblp]
  • Manfred Droste (Universität Leipzig, DE) [dblp]
  • Jacques Duparc (University of Lausanne, CH) [dblp]
  • Zoltan Esik (University of Szeged, HU) [dblp]
  • Paul Gastin (ENS - Cachan, FR) [dblp]
  • Christian Glasser (Universität Würzburg, DE) [dblp]
  • Serge Grigorieff (University of Paris VII, FR) [dblp]
  • André Hernich (Goethe-Universität - Frankfurt a. M., DE) [dblp]
  • Markus Holzer (Universität Gießen, DE) [dblp]
  • Juhani Karhumäki (University of Turku, FI) [dblp]
  • Manfred Kufleitner (Universität Stuttgart, DE) [dblp]
  • Dietrich Kuske (TU Ilmenau, DE) [dblp]
  • Christof Löding (RWTH Aachen, DE) [dblp]
  • Markus Lohrey (Universität Leipzig, DE) [dblp]
  • Pierre McKenzie (University of Montréal, CA) [dblp]
  • Damian Niwinski (University of Warsaw, PL) [dblp]
  • Alexander Okhotin (University of Turku, FI) [dblp]
  • Friedrich Otto (Universität Kassel, DE)
  • Yann Pequignot (University of Lausanne, CH) [dblp]
  • Jean-Eric Pin (University of Paris VII, FR) [dblp]
  • Alexander Rabinovich (Tel Aviv University, IL) [dblp]
  • Christian Reitwießner (Universität Würzburg, DE) [dblp]
  • Jacques Sakarovitch (ENST - Paris, FR) [dblp]
  • Heinz Schmitz (Hochschule Trier, DE) [dblp]
  • Nicole Schweikardt (Goethe-Universität - Frankfurt a. M., DE) [dblp]
  • Thomas Schwentick (TU Dortmund, DE) [dblp]
  • Luc Segoufin (ENS - Cachan, FR) [dblp]
  • Victor Selivanov (A. P. Ershov Institute - Novosibirsk, RU) [dblp]
  • Ludwig Staiger (Martin-Luther-Universität Halle-Wittenberg, DE)
  • Howard Straubing (Boston College, US) [dblp]
  • Wolfgang Thomas (RWTH Aachen, DE) [dblp]
  • Bill Wadge (University of Victoria, CA) [dblp]
  • Pascal Weil (University of Bordeaux, FR) [dblp]
  • Thomas Wilke (Universität Kiel, DE) [dblp]
  • Ludmila Yartseva (EPFL - Lausanne, CH)

Klassifikation
  • data structures / algorithms / complexity
  • verification / logic
  • automata theory
  • Ehrenfeucht-Fra¨ýss´e games and Gale-Stewart games

Schlagworte
  • infinite games with perfect information
  • reactive systems
  • specification and verification
  • combinatorics
  • hierarchies and reducibilities