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.
The following courses will be held at the MGS (with link to further material where available):
- Category Theory
Graham Hutton (University of Nottingham)
- Advanced Functional Programming
Henrik Nilsson (University of Nottingham)
- Typed Lambda Calculus
Paul Levy (University of Birmingham)
- Constructive Mathematics and Type Theory
Thierry Coquand (University of Gothenburg)
Slides for Lecture 1.
Slides for Lecture 2.
Slides for Lecture 3.
Slides for Lecture 4.
- Categories and Functors
Uday Reddy (University of Birmingham)
- Computing with Infinite Objects
Martin Escardo (University of Birmingham)
- Logical Relations
Andrzej Murawski (University of Leicester)
- Provability, fixed points and clock ticks
Tadeusz Litak (University of Leicester)
- Kleene Algebras
Georg Struth (University of Sheffield)
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.
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.