[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

-------------------------------------------------------------------------------------

           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

   [EMAIL PROTECTED]

   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

      [EMAIL PROTECTED]


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/

Reply via email to