*** 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 accomodation. 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/