[Agda] Domains X 2011: Call for Participation
Ulrich Berger
U.Berger at swansea.ac.uk
Tue Jul 12 19:32:17 CEST 2011
Workshop Announcement and Call for Participation
D O M A I N S X
http://www.cs.swan.ac.uk/domains2011/
Swansea University, Wales, UK, 5-7 September 2011
Deadline for abstracts of short talks: 25 July 2011
Deadline for Student Grants: 25 July 2011
Registration Deadline: 29 July 2011
INTRODUCTION
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 Computational Effects' and
'Modelling Continuous Data.'
The emphasis at Domains workshops 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
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)
CONTRIBUTED TALKS
See http://www.cs.swan.ac.uk/domains2011/
Submission of abstracts for short talks will be considered
until July 25. Please submit a one-page abstract via Easychair
https://www.easychair.org/conferences/?conf=domainsx2011
SCOPE
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 and computability
topology, metric spaces and domains
locale theory
category theory
topos theory
type theory
REGISTRATION
Please register before July 29, 2011.
We offer a standard package including workshop fee,
3 nights en-suite accommodation including breakfast
and lunches for 220 pounds.
Details can be found on the workshop website
http://www.cs.swan.ac.uk/domains2011/
STUDENT GRANTS
A limited number of grants for UK-based research students, funded
by the London Mathematical Society, are available.
Please apply before July 25, 2011.
Details can be found on the workshop website
http://www.cs.swan.ac.uk/domains2011/
VENUE AND ACCOMMODATION
The Domains X workshop will take place at Swansea University,
Department of Computer Science, Robert Recorde Room (2nd floor,
Faraday Building). En-suite accommodation will be on Campus in
House Oxwich. For details see the workshop website
http://www.cs.swan.ac.uk/domains2011/
PROGRAMME COMMITTEE
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
ORGANIZING COMMITTEE
Ulrich Berger Swansea University
Jens Blanck Swansea University
Monika Seisenberger Swansea University
PUBLICATION
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 Agda
mailing list