Atlas home || Conferences | Abstracts | about Atlas
Host: University of Birmingham
Homepage: http://www.cs.bham.ac.uk/~wd6/index.html
Email: domainsvi@cs.bham.ac.uk
Organizers: Martin Escardo, Achim Jung
Description:
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), Braunschweig (96), Munich (97) and Siegen (98). The
emphasis is on the exchange of ideas between participants similar in
style to Dagstuhl seminars.
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:
program semantics, program logics, probabilistic computation, exact computation over the real numbers, lambda calculus, games, models of sequential computation, constructive mathematics, recursion theory, realizability, real analysis, topology, locale theory, metric spaces, category theory, topos theory, type theory.
Speakers: Ulrich Berger University of Wales Swansea, Thierry Coquand Goeteborg University, Jimmie Lawson Louisiana State University, John Longley University of Edinburgh, * Dag Normann University of Oslo, Prakash Panangaden McGill University, Uday Reddy University of Birmingham, Thomas Streicher Darmstadt University.
Files: second.txt
Date received: December 13, 2001
© 2008 Atlas Conferences Inc.