Dear Colleagues, We still have a small number of places remaining at MGS2009, available at the full rate of £380. If you would like to attend, please complete the registration form provided on the web page. **************************************************************** Midlands Graduate School in the Foundations of Computing Science **************************************************************** 30th March - 3rd April 2009 University of Leicester, UK http://www.cs.le.ac.uk/events/mgs2009 The 10th Midlands Graduate School (MGS) is taking place! WHAT IS MGS 2009? The MGS is an intensive course of lectures on the Foundations of Computing. It is very well established, with this being our 10th anniversary, and has always proved a very popular and successful event. This year we have Professor Peter Dybjer, Chalmers, Sweden, as guest lecturer. The lectures are aimed at graduate students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations. We very much welcome international applications as well as from those from the UK. COURSES - Foundations Thorsten Altenkirch Category Theory Paul Levy The Lambda Calculus Henrik Nilsson Functional Programming - Advanced Peter Dybjer Normalization by Evaluation Martin Escardo Semantics Nicola Gambino Dependent Types Alexander Kurz Coalgebra Uday Reddy Separation Logic Georg Struth Automated Theorem Proving WHERE IS MGS 2009? MGS 2009 will take place at John Foster Hall, University of Leicester, UK, with accommodation and lectures all on one site. Breakfasts, lunches and four course dinners will be provided. For further details and registration visit http://www.cs.le.ac.uk/events/mgs2009 Roy Crole and Daniela Petrisan.