------------------------------------------------------------------------------------- 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. INVITED SPEAKERS (confirmed) Jean Goubault-Larrecq LSV/ENS Cachan & CNRS Martin Hyland Cambridge University Klaus Keimel TU Darmstadt John Longley University of Edinburgh Andrew Pitts Cambridge University Gordon Plotkin University of Edinburgh/Stanford Dana Scott CMU/Berkely CONTRIBUTED TALKS A list of contributed talks with abstracts is available from the workshop page (see URL above) that contains also more information about the scope of the meeting. 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. 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 Bed & breakfast on campus in single rooms with en suite bathroom (standard) is available at 45 pounds per night in our brand new 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 form from the workshop web pages at: <http://www.informatics.sussex.ac.uk/events/domains9/index.htm#registration
EARLY REGISTRATION DEADLINE is *** AUGUST 7th *** at 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 at a fee of 70 pounds but in this case availability of rooms is not guaranteed 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 and credit card details. 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 Successful registration will be confirmed by email. Registered participants will then receive further instructions about their accommodation, check in, and the exact location of the meeting They will get a receipt at 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. GRANTS FOR PHD STUDENTS or PARTICIPANTS FROM Scheme 5 COUNTRIES 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 countries) 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/