Both types of spaces are used in giving meaning to certain programming language constructs. As has been shown this approach not only leads to a unified theory to be used in programming language semantics, but also allows the study of quantitative aspects of computations, which is impossible when dealing merely with Scott domains. This draws attention to the digital nature of most computer applications. Starting from classical applications in physics, most topological notions have been developed by having the continuum in mind. In computer science applications they very often turn out to be no longer applicable in their classical form, or even to be meaningless, which means that they have to be redefined.
Work done here is also basic to the other subfields of topology in computer science.
Obviously, all aspects mentioned above are strongly intertwined. The research trends characterized hereby originate from the same applications and basic studies. Moreover, most researchers in the field work on several of the subfields reported above. There has been much work on the above mentioned aspects of topology in computer science in recent years, and substantial results have been obtained. It is the goal of the workshop to create a common forum for the exchange of ideas and results.