22. – 27. August 2004, Dagstuhl-Seminar 04351

Spatial Representation: Discrete vs. Continuous Computational Models


Ralph Kopperman (City University of New York, US)
Michael B. Smyth (Imperial College London, GB)
Dieter Spreen (Universität Siegen, DE)
Julian Webster (Imperial College London, GB)

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team


Dagstuhl's Impact: Dokumente verfügbar

About the seminar

Topological notions and methods have been successfully applied in various areas of computer science. Programming language semantics and computing with exact real numbers are two important examples. Computerized geometrical constructions have many applications in engineering. The seminar will concentrate on an important approach which is basic to these applications, i.e. spatial representation.

Due to the digital nature of most applications, the structures used in computer science are different from the mathematical structures that are classically used in engineering and that are based on the continuum. Typical features of these digital structures are asymmetry and partiality. Whereas classical spaces contain only the ideal elements that are the result of a computation (approximation) process, spaces that also allow reasoning on such processes in a formal way must as well contain the partial (and finite) objects appearing during a computation. Only they can be observed in finite time.

The seminar was devoted to the study of several topological structures. The leading example of such is the domain (in Scott's sense), and it is closely related to locales. Here, the finitely observable properties of a process are the primary objects of study. The ideal entities, which are the first class citizens of classical mathematical structures, are obtained as derived objects. These have given rise to a constructive treatment of topological spaces, Formal Topology.

More about the seminar contents and talks in the Online Seminar Proceedings


In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.


Download Übersichtsflyer (PDF).


Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.