MGS 2012

Midlands Graduate School

in the

Foundations of Computing Science

University of Birmingham, UK, 23 - 27 April, 2012

The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the Mathematical Foundations of Computing. It has run annually since 1999, and is hosted by the Universites of Birmingham, Leicester, Sheffield and Nottingham in rotation. The lectures are aimed at PhD students, typically in their first or second year of study. However, the school is open to anyone who is interested in learning more about the mathematical foundations of computing, and all such participants are warmly welcomed. We also very much welcome students from abroad.

MGS 2012 is going to be held in Birmingham, UK, 23 - 27 April, hosted by the School of Computer Science of the University of Birmingham.

Invited Lecturer:

Thierry Coquand


The following courses will be held at the MGS (with link to further material where available):

Introductory Courses:

Advanced Courses:


A schedule is available here.

Location and Travel

MGS 2012 will be held in the School of Computer Science. Travel instructions may be found here. For participants staying at the ETAP-hotel here are instructions how to reach the hotel and how to travel between the hotel and the University.

A map of the University campus may be found here.


A list of restaurants near the University and in the City Centre is available here.

Conference dinner

The conference dinner on 26 April is for everyone and the cost for this was included in your registration fee. It will take place at 7:30pm in a restaurant called Pasta di Piazza which is located in 11 Brook Street, just off St Paul's Square, in the historic Jewelry Quarter. Please submit your menu choice form by Wednesday, 2pm.

Other information

Registration, coffee breaks and lunch all take place in the Atrium of the Computer Science building. The lectures will take place in the Learning Centre, which is the building opposite hte Computer Science building.

Access to eduroam is available. In addition you will be able to ask for login credentials to use the University campus wireless network from the registration desk.


We can no longer reserve accommodation for you. Most participants will stay in the ETAP-hotel in the city centry of Birmingham. Please contact the hotel directly.


Registration is now closed.

Last updated 20 April 2012.