DagRep.5.10.66.pdf
- Filesize: 0.84 MB
- 23 pages
Document
Duality in Computer Science (Dagstuhl Seminar 15441)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 5, Issue 10
Volume: Dagstuhl Reports, Volume 5
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2016-02-10
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
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.
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)
0PDF Downloads