Dagstuhl Seminar Proceedings, Volume 4351,

• Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster 04351 Abstracts Collection – Spatial Representation: Discrete vs. Continuous Computational Models 10.4230/DagSemProc.04351.1
• Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster 04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models 10.4230/DagSemProc.04351.2
• Reinhold Heckmann A Cartesian Closed Extension of the Category of Locales 10.4230/DagSemProc.04351.3
• John L. Pfaltz A Category of Discrete Closure Spaces 10.4230/DagSemProc.04351.4
• Keye Martin and Prakash Panangaden A domain of spacetime intervals in general relativity 10.4230/DagSemProc.04351.5
• Jonathan Gratus and Timothy Porter A geometry of information, I: Nerves, posets and differential forms 10.4230/DagSemProc.04351.6
• Jonathan Gratus and Timothy Porter A geometry of information, II: Sorkin models, and biextensional collapses 10.4230/DagSemProc.04351.7
• Chris God, Achim Jung, Robin Knight, and Ralph Kopperman Auxiliary relations and sandwich theorems 10.4230/DagSemProc.04351.8
• Douglas Bridges, Hajime Ishihara, Peter Schuster, and Luminita S. Vita Compactness in apartness spaces? 10.4230/DagSemProc.04351.9
• Jamie Johnson and Tom Richmond Continued Radicals 10.4230/DagSemProc.04351.10
• Ulrich Berger Continuous Semantics for Termination Proofs 10.4230/DagSemProc.04351.11
• Martin Raussen Deadlocks and Dihomotopy in Mutual Exclusion Models 10.4230/DagSemProc.04351.12
• Lisbeth Fajstrup Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again 10.4230/DagSemProc.04351.13
• Samson Abramsky and Bob Coecke Discrete classical vs. continuous quantum data in abstract quantum mechanics 10.4230/DagSemProc.04351.14
• Hideki Tsuiki Dyadic Subbases and Representations of Topological Spaces 10.4230/DagSemProc.04351.15
• Edward L. F. Moore, Thomas J. Peters, David R. Ferguson, and Neil F. Stewart Integrating Topology and Geometry for Macro-Molecular Simulations 10.4230/DagSemProc.04351.16
• Martin Kovar On Maximality of Compact Topologies 10.4230/DagSemProc.04351.17
• Hans-Peter A. Künzi and Dominic van der Zypen The Construction of Finer Compact Topologies 10.4230/DagSemProc.04351.18
• Martin Kovar The de Groot dual for general collections of sets 10.4230/DagSemProc.04351.19
• Martin Kovar The Hofmann-Mislove Theorem for general posets 10.4230/DagSemProc.04351.20
• Martin Kovar The Hofmann-Mislove Theorem for general topological structures 10.4230/DagSemProc.04351.21
• Ralph Kopperman, Steve Matthews, and Homeira Pajoohesh What do partial metrics represent? 10.4230/DagSemProc.04351.22