[Haskell] Midlands Graduate School 2007

[Graham Hutton]

+--------------------------------------------------------------------+

                     *** REGISTRATION NOW OPEN ***

   Midlands Graduate School in the Foundations of Computing Science

                               MGS 2007

                           16-20 April 2007
                     University of Nottingham, UK


The  Midlands Graduate School  (MGS) in  the Foundations  of Computing
Science was established in 1999, and organises an annual Spring School
on the  mathematical foundations of computing.  It  is primarily aimed
at PhD students, but everyone is welcome to attend, including computer
scientists, mathematicians, and participants from outside of the UK.

PROGRAMME

The programme will consist of ten short courses given over a period of
five days.  The speakers are as follows:

   Roy Crole             Operational Semantics
   Neil Ghani            Category Theory
   Paul Levy             Typed Lambda Calculus
   Thorsten Altenkirch   Dependently Typed Programming
   Roland Backhouse      Algorithmic Problem Solving
   Martin Escardo        Domain Theory and Denotational Semantics
   Achim Jung            Stone Duality
   Henrik Nilsson        Advanced Functional Programming
   Colin Stirling        Concurrency Theory
   Steve Vickers         Topology and Logic

LOCATION

The school  will be held  on the Jubilee  Campus of the  University of
Nottingham, which has won many awards for its design and environmental
features.  Nottingham  is centrally located  in the UK, and  is easily
reachable by road, rail and air (Nottingham East Midlands Airport.)

REGISTRATION

The deadline  for registration is  1 March 2007, and  the registration
fee is 350 UK pounds, including accommodation.  We also hope to have a
number of free places for UK-based PhD students.  The number of places
is limited, so early registration is advised.

FURTHER DETAILS

   Google search - MGS 2007
   Web page      - http://www.cs.nott.ac.uk/~nhn/MGS2007/

+--------------------------------------------------------------------+

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.