Document Open Access Logo

Duality in Computer Science (Dagstuhl Seminar 15441)

Authors Mai Gehrke, Achim Jung, Victor Selivanov, Dieter Spreen and all authors of the abstracts in this report

PDF

File

Thumbnail PDF
PDF
DagRep.5.10.66.pdf
  • Filesize: 0.84 MB
  • 23 pages

Document Identifiers

Subject Classification

Keywords
  • coalgebra
  • domain theory
  • probabilistic systems
  • recognizability
  • semantics of non-classical logics
  • Stone duality

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

This report documents the programme and outcomes of Dagstuhl Seminar 15441 `Duality in Computer Science'. This seminar served as a follow-up seminar to the seminar `Duality in Computer Science' (Dagstuhl Seminar 13311). In this seminar, we focused on applications of duality to semantics for probability in computation, to algebra and coalgebra, and on applications in complexity theory. A key objective of this seminar was to bring together researchers from these communities within computer science as well as from mathematics with the goal of uncovering commonalities, forging new collaborations, and sharing tools and techniques between areas based on their common use of topological methods and duality.

Cite As Get BibTex

Mai Gehrke, Achim Jung, Victor Selivanov, and Dieter Spreen. Duality in Computer Science (Dagstuhl Seminar 15441). In Dagstuhl Reports, Volume 5, Issue 10, pp. 66-88, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016) https://doi.org/10.4230/DagRep.5.10.66

Author Details

Mai Gehrke
Achim Jung
Victor Selivanov
Dieter Spreen
and all authors of the abstracts in this report
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
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact