[Haskell] Midlands Graduate School 2007

[Graham Hutton]

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

   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   registration  fee   will   be  around   350  pounds,   including
accommodation.  We also  hope to have a number of  free places for PhD
students.  To register your interest in MGS 2007, and be informed when
registration is  open (the number  of places will be  limited), please
contact the organiser, Henrik Nilsson <nhn at cs.nott.ac.uk>.

FURTHER DETAILS

   Google search - MGS 2007
   Web page      - http://www.cs.nott.ac.uk/~nhn/MGS2007/
   Xmas seminars - http://www.dcs.shef.ac.uk/~georg/mgs_xmas06.html

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

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.