May 4 – 8 , 1998, Dagstuhl Seminar 98181

Domain Theory and Its Applications


S. Brookes (CMU Pittsburgh), M. Droste (Dresden), M. Mislove (Tulane)

For support, please contact

Dagstuhl Service Team


Dagstuhl-Seminar-Report 209


Domains were first discovered by Dana Scott in the mid-1960s and they are of central im portance to numerous areas of theoretical computer science. More recently, the application of domain theory to many other areas has enjoyed a flourish of activity. We believe the time is ripe for a meeting that will focus on what is becoming a diverse range of applications of domain theory, as well as the role of the theory in its more established areas of application -- namely, those relating to theoretical computer science.

We also intend to coordinate the Dagstuhl Seminar with the Spring, 1998 meeting of the series, Mathematical Foundations of Programming Semantics. This series is currently in its 13th year. It meets annually, mainly in the U.S., and it is regarded among the top meetings on programming semantics and its mathematical underpinnings. The success of the MFPS series is due in large measure to the active participation of European researchers in the series.

MFPS annually counts among its participants a sizable number of European researchers; for example Samson Abramsky (Edinburgh), Gerard Berry (INRIA), Achim Jung (Birmingham), Gerard Huet (INRIA), Neil Jones (DIKU), Robin Milner (Cambridge), A.W. Pitts (Cam bridge)), and Gordon Plotkin (Edinburgh) have been invited speakers at the series, most two or more times. Professors Brookes and Mislove both are Organizers of MFPS, and the in tention is to hold the Spring, 1998 meeting in Europe. This will be the second time the series has come to Europe (the first was a very successful meeting held at the University of Oxford in April, 1992).

By coordinating the proposed Dagstuhl Seminar with the MFPS meeting, we hope to accom plish several goals. First, this coordination should assure that we attract the most active researchers in domain theory to both meetings. More importantly, we intend to use the Dagstuhl meeting to assess the state of domain theory. By holding the Dagstuhl Seminar before the MFPS meeting, we will be able to gain insights into the current status and future possibilities for domain theory and its applications, and then we will hold a special session at MFPS in which we will report the results of the Dagstuhl meeting to the general MFPS audience.

In addition to these primary goals, we have the fundamental motivation to bring together researchers who work in various aspects of domain theory and its applications, and who would benefit by the opportunity to interact in a more relaxed setting than a conference setting usual provides. Our goal, as with most Dagstuhl Seminars, is to utilize the unique Dagstuhl at mosphere to foster collaborations by affording people the longer period that the seminar provides to establish potential collaborations.

Among the number of areas within domain theory, we mention a few as topics that will be highlighted during the Dagstuhl Seminar:

  • Structure Theory of Domains
  • Domain Theory and Topology
  • Domain Theory and Category Theory
  • Synthetic Domain Theory
  • Axiomatic Domain Theory
  • Domain Theory and Logic
  • Domain Theory and Concurrency


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.