----------------------------------------------------------------------------            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.   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/