Dagstuhl Seminar Proceedings: Spatial Representation 2005

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