08271 Abstracts Collection – Topological and Game-Theoretic Aspects of Infinite Computations

Authors Peter Hertling, Victor Selivanov, Wolfgang Thomas, William W. Wadge, Klaus Wagner



PDF
Thumbnail PDF

File

DagSemProc.08271.1.pdf
  • Filesize: 226 kB
  • 17 pages

Document Identifiers

Author Details

Peter Hertling
Victor Selivanov
Wolfgang Thomas
William W. Wadge
Klaus Wagner

Cite AsGet BibTex

Peter Hertling, Victor Selivanov, Wolfgang Thomas, William W. Wadge, and Klaus Wagner. 08271 Abstracts Collection – Topological and Game-Theoretic Aspects of Infinite Computations. In Topological and Game-Theoretic Aspects of Infinite Computations. Dagstuhl Seminar Proceedings, Volume 8271, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
https://doi.org/10.4230/DagSemProc.08271.1

Abstract

From June 29, 2008, to July 4, 2008, the Dagstuhl Seminar 08271 ``Topological and Game-Theoretic Aspects of Infinite Computations'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, many participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Keywords
  • Automata theory
  • computability in analysis
  • dataflow computation
  • hierarchies
  • infinite computations
  • infinite games
  • reactive systems
  • specification and verification
  • topological complexity
  • Wadge reducibility

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail