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

Courses

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

Schedule

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.

Restaurants

Conference dinner

Other information

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.

Accommodation

Registration