10501 Executive Summary – Advances and Applications of Automata on Words and Trees

Glasser, Christian; Pin, Jean-Eric; Schweikardt, Nicole; Selivanov, Victor; Thomas, Wolfgang

doi:10.4230/DagSemProc.10501.2

Document

10501 Executive Summary – Advances and Applications of Automata on Words and Trees

Authors Christian Glasser, Jean-Eric Pin, Nicole Schweikardt, Victor Selivanov, Wolfgang Thomas

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 10501
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2011-05-26

PDF

File

PDF

DagSemProc.10501.2.pdf

Filesize: 135 kB
4 pages

Document Identifiers

DOI: 10.4230/DagSemProc.10501.2
URN: urn:nbn:de:0030-drops-31474

Subject Classification

Keywords

Infinite games with perfect information
reactive systems
specification and verification
combinatorics
hierarchies and reducibilities

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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.
In the following we describe the topics in more detail.

Cite As Get BibTex

Christian Glasser, Jean-Eric Pin, Nicole Schweikardt, Victor Selivanov, and Wolfgang Thomas. 10501 Executive Summary – Advances and Applications of Automata on Words and Trees. In Advances and Applications of Automata on Words and Trees. Dagstuhl Seminar Proceedings, Volume 10501, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011) https://doi.org/10.4230/DagSemProc.10501.2

Author Details

Christian Glasser

Jean-Eric Pin

Nicole Schweikardt

Victor Selivanov

Wolfgang Thomas

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail