License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.5.10.66
URN: urn:nbn:de:0030-drops-56999
URL: http://drops.dagstuhl.de/opus/volltexte/2016/5699/
Go back to Dagstuhl Reports


Gehrke, Mai ; Jung, Achim ; Selivanov, Victor ; Spreen, Dieter
Weitere Beteiligte (Hrsg. etc.): Mai Gehrke and Achim Jung and Victor Selivanov and Dieter Spreen

Duality in Computer Science (Dagstuhl Seminar 15441)

pdf-format:
dagrep_v005_i010_p066_s15441.pdf (0.8 MB)


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.

BibTeX - Entry

@Article{gehrke_et_al:DR:2016:5699,
  author =	{Mai Gehrke and Achim Jung and Victor Selivanov and Dieter Spreen},
  title =	{{Duality in Computer Science (Dagstuhl Seminar 15441)}},
  pages =	{66--88},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{10},
  editor =	{Mai Gehrke and Achim Jung and Victor Selivanov and Dieter Spreen},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/5699},
  URN =		{urn:nbn:de:0030-drops-56999},
  doi =		{10.4230/DagRep.5.10.66},
  annote =	{Keywords: coalgebra, domain theory, probabilistic systems, recognizability, semantics of non-classical logics, Stone duality}
}

Keywords: coalgebra, domain theory, probabilistic systems, recognizability, semantics of non-classical logics, Stone duality
Seminar: Dagstuhl Reports, Volume 5, Issue 10
Issue Date: 2016
Date of publication: 10.02.2016


DROPS-Home | Fulltext Search | Imprint Published by LZI