---------------------------------------------------------------------------- C A L L F O R P A R T I C I P A T I O N Workshop DOMAINS IX http://www.informatics.sussex.ac.uk/events/domains9/ University of Sussex, Brighton, 22-24 September 2008 Sponsored by the EPSRC and the London Mathematical Society ---------------------------------------------------------------------------- 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) and Novosibirsk (07). FORMAT 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) Martin Hyland Cambridge University Klaus Keimel TU Darmstadt Jean Goubault-Larrecq LSV/ENS Cachan & CNRS John Longley University of Edinburgh Andrew Pitts Cambridge University Dana Scott CMU 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 VENUE The workshop will take place at the University of Sussex. It will commence at 9:30am on Monday morning and close around 4pm on Wednesday afternoon. ACCOMMODATION We can provide bed & breakfast on campus with en suite bathroom (standard) at at 45 pounds per night in our brand ew halls of residence or at a more economical 30.50 pound with shared facilities (budget). Lunch is included in the registration fee. There will be no organized evening meals except the Workshop dinner. REGISTRATION Registration is now open. Please download the registration forms from the workshop web pages at: REGISTRATION DEADLINE is *** AUGUST 7th *** for the reduced registration fee of 40 pounds. Please register as early as possible to secure a room at the above mentioned rates on campus. You can still register after August 7th but we cannot guarantee availability of rooms and you may need to find accommodation yourself which can be quite tricky in Brighton. Note that the registration fee includes all lunches (Mo-Wed). Lunches will take place in a building adjacent to the lecture theatre. To register, please print the form, filling in all relevant fields including your room booking. Sign the form and fax it (or send via surface mail) to Mrs Elizabeth Marriott Fax: +44 (0)1273 877873 Department of Informatics University of Sussex Brighton BN1 9QJ UK To obtain the cheaper registration fee your fax or letter must reach us on August 7th. Successful registration will be confirmed by email. Registered participants will then receive further instructions about their accomodation, check in and the exact location of the meeting. You are expected to pay by credit card. If this is impossible or if you have further questions regarding registration please contact Elizabeth Marriott at E.Marriott@sussex.ac.uk or check out the workshop website http://www.informatics.sussex.ac.uk/events/domains9/ where you can also find more advice on filling in the registration form and information about how to get to the University of Sussex. GRANTS FOR PHD STUDENTS OR Scheme 5 PARTICIPANTS PhD students with a grant from the EPSRC can get free accommodation and registration for DOMAINS IX thanks to support from the EPSRC. Mathematicians from former Soviet states or Africa (Scheme 5) can also get financial support provided by the LMS. If you think you are eligible for any of the above please contact the PC as soon as possible at the workshop email address domains9@sussex.ac.uk LATE SUBMISSION OF ABSTRACTS If you would like to give a talk but have not submitted in time you can still send a one-page abstract to the workshop email address but please be aware that at this late stage any incoming abstracts are strictly dealt with in order of arrival and compete for a quite small number of remaining slots. PROGRAMME COMMITTEE Martin Escardo University of Birmingham Achim Jung (Co-Chair) University of Birmingham Klaus Keimel (Co-Chair) Darmstadt University Bernhard Reus (Co-Chair) University of Sussex Thomas Streicher Darmstadt University ORGANIZATION COMMITTEE Bernhard Reus University of Sussex PUBLICATION 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. URL http://www.informatics.sussex.ac.uk/events/domains9/