[TYPES/announce] Workshop Announcement: Domains X
U.Berger at swansea.ac.uk
Thu Feb 3 20:17:20 EST 2011
W o r k s h o p A n n o u n c e m e n t
D O M A I N S X
Swansea University, Wales, UK, 5-7 September 2011
The Workshop on Domains is aimed at computer scientists and
mathematicians alike who share an interest in the mathematical
foundations of computation. The workshop will focus on
domains, their applications and related topics. Previous meetings were
held in Darmstadt (94,99,04), Braunschweig (96), Munich (97),
Siegen (98), Birmingham (02), Novosibirsk (07) and Brighton (08).
Besides its traditional topics Domains X will have the special themes
'Modelling of Computational Effects' and 'Modelling of Discrete and
The emphasis is on the exchange of ideas between participants similar
in style to Dagstuhl seminars. In particular, talks on subjects
presented at other conferences and workshops are acceptable.
INVITED SPEAKERS (confirmed)
Lars Birkedal University of Copenhagen (Denmark)
Nick Benton Microsoft Research Cambridge (UK)
Margarita Korovina University of Manchester (UK)
Dag Normann University of Oslo (Norway)
John Power University of Bath (UK)
Matija Pretnar University of Ljubljana (Slovenia)
Thomas Streicher University of Darmstadt (Germany)
Jeff Zucker McMaster University (Canada)
Domain theory has had applications to programming language
semantics and logics (lambda-calculus, PCF, LCF), recursion theory
(Kleene-Kreisel countable functionals), general topology
(injective spaces, function spaces, locally compact spaces, Stone
duality), topological algebra (compact Hausdorff semilattices) and
analysis (measure, integration, dynamical systems). Moreover,
these applications are related - for example, Stone duality gives
rise to a logic of observable properties of computational
As such, domain theory is highly interdisciplinary. Topics of
interaction with domain theory for this workshop include, but are
not limited to:
exact computation over the real numbers
models of sequential computation
real analysis and computability
topology, metric spaces and domains
SUBMISSION OF ABSTRACTS
Please submit a one-page abstract via Easychair
Shortly after an abstract is submitted (usually two or three weeks),
the authors will be notified by the programme committee. The
criterion for acceptance is relevance to the meeting. In
particular, talks on subjects presented at other conferences and
workshops are acceptable.
Abstracts will be dealt with on a first-come/first-served basis.
We ask potential speakers to express the intention to give
a talk by the end of June.
Further details about the local arrangements will be provided soon.
VENUE AND ACCOMMODATION
The Domains X workshop will take place at Swansea University,
Department of Computer Science, Robert Recorde Room (2nd floor,
Faraday Building). Accommodation will be on Campus in House Oxwich.
Further details will be given later.
Ulrich Berger Swansea University (Co-Chair)
Jens Blanck Swansea University
Martin Escardo University of Birmingham (Co-Chair)
Achim Jung University of Birmingham
Klaus Keimel TU Darmstadt
Bernhard Reus University of Sussex
John Tucker Swansea University
Ulrich Berger Swansea University
Jens Blanck Swansea University
Monika Seisenberger Swansea University
We plan to publish proceedings of the workshop in a special volume of
a journal. There will be a call for papers after the workshop.
The papers will be refereed according to normal publication standards.
More information about the Types-announce