+--------------------------------------------------------------------+
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 <[EMAIL PROTECTED]>.
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.
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
