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) and Novosibirsk (07).
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.
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
processes.
As such, domain theory is highly interdisciplinary. Topics of
interaction with domain theory for this workshop include, but are
not limited to:
The workshop will be held at the University of Sussex at Falmer, Brighton, Arts C building (no. 18 on the campus map), Lecture Theatre 133.
The meeting will commence on Monday 22nd, 9:30am and will close on Wednesday 24th with tea at around 4pm. Participants are invited to stay on and accommodation can be provided for Wednesday night as well.
Further details about the local arrangements will be provided soon.
Submission is now officially closed but there are a few slots remaining so if you would like to give a talk, send your one page abstract quickly to domains9 @ sussex.ac.uk
Shortly after an abstract is submitted
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. Please be aware that if you submit now at this late stage we are not able to guarantee a slot even if your abstract is accepted.
We plan to publish proceedings of the workshop in a journal.
There will be a call for papers after the workshop.
The papers will be refereed according to normal publication standards.
Further useful links for your travel to and stay at Sussex:
Registration and Accommodation
Late Submission of Abstracts
Announcements
Programme Committee
Organization Committee
Publication
Domains IX sponsored by the
and the
Useful Links