AISB event Bulletin Item
CALL FOR PARTICIPATION: Domain X, 5-7 Sep 2011, WALES
Swansea University, Wales, UK
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.