University of Leicester


Midlands Graduate School 2009, Leicester, UK

Monday 30th March to Friday 3rd April


Welcome Message and Final Details

The Midlands Graduate School (MGS) provides an intensive course of lectures on the Mathematical Foundations of Computing Science. It has run annually since 1999 and has been held at either the University of Birmingham, the University of Leicester, or the University of Nottingham. 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, and all such applicants are warmly welcomed. We very much encourage students from abroad to attend, and many have done so in the past.

Students of MGS are typically extremely pleased with our events, giving us very high satisfaction ratings, and 100% of students in recent years say they would recommend MGS. This is our tenth anniversary and we hope that you will be able to take part!

John Foster Hall

The lectures will take place at the John Foster Hall , about 3 miles from the city centre, and 2 miles from the main University of Leicester Campus. Accommodation will be provided here as well. This is a modern conference venue, opened in 2006. It is a very short distance from the University's Botanical Gardens.

Lecture Courses

There are Core courses which are taken by everyone, and consist of five one hour lectures. There are also Options, which consist of four one hour lectures. These are listed below.

This year MGS has invited Professor Peter Dybjer, Chalmers University of Technology, as guest lecturer.

Lecturer Course
Thorsten Altenkirch Category Theory C CAT
Paul Levy The Lambda Calculus C LAM
Henrik Nilsson Functional Programming C FUN
Peter Dybjer Normalization by Evaluation O NBE
Martin Escardo Semantics O SEM
Nicola Gambino Dependent Types O DTT
Alexander Kurz Coalgebra O COA
Uday Reddy Separation Logic O LOG
Georg Struth Automated Theorem Proving O ATP
Further details about the courses will appear later on: you may care to look at the course details from previous MGS schools
MGS 2008: 14-18 April 2008, University of Birmingham
MGS 2007: 16-20 April 2007, University of Nottingham
MGS 2006: 8-12 April 2006, University of Leicester


The timetable: [.pdf].

Accomodation Pavillions

The Bar


REGISTRATION IS CLOSED. The School Lectures are full and no further places are available.

All payments can be made by UK cheques payable to the University of Leicester, or by credit cards. For credit card payments print out and complete this form, fill it in making sure it is signed, and post it to us at the address below (we will forward the form to the Cashier's Office).

Travel and Accommodation

The Dining Hall - four course evening meals will be served, along with coffee.

MGS 2009 is accessible by car, train and bus. We suggest that you use Google Maps to assist in planning your journey together with the information below:

Please note that John Foster Hall is part of the Oadby Halls of Residence and Conference Site.


You may contact the organisers, Roy Crole and Daniela Petrisan, if you have any questions:

  • mgs2009 at mcs dot le dot ac dot uk

Registration payments, and fees, should be sent to:

MGS 2009,
Department of Computer Science,
University of Leicester,
United Kingdom

Tel: 0116 252 3887 (Outside UK +44 116 252 3887)
Fax: 0116 252 3915 (Outside UK +44 116 252 3915)

Author: Roy Crole.
© University of Leicester November 2008. Last modified: 7th April 2009, 21:12:42
CMS Web Maintainer. This document has been approved by the Head of Department.