https://www.dagstuhl.de/98181

04. – 08. Mai 1998, Dagstuhl-Seminar 98181

Domain Theory and Its Applications

Organisator

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

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl-Seminar-Report 209

Motivation to Seminar 98181
"Domain Theory and Its Applications"
4 to 8 May 1998
Schloss Dagstuhl, Germany

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

Dokumentation

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).

Publikationen

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.