TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 98181

Domain Theory and Its Applications

( May 04 – May 08, 1998 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/98181

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



Motivation

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

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