+--------------------------------------------------------------------+ 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@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.