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, 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. We gratefully acknowledge financial support by ESPRC.
MGS 2008 is going to be held in Birmingham, UK, 14 - 18 April, hosted by the School of Computer Science of the University of Birmingham.
The following courses will be held at MGS:
Introductory Courses:
Advanced Courses:
- Operational Semantics
Roy Crole (University of Leicester)- Category Theory
Neil Ghani (University of Nottingham)- Typed Lambda Calculus
Paul Levy (University of Birmingham)
- The Mathematical Structure of Information Flow, in Physics, Geometry, Logic and Computation.
Samson Abramsky (University of Oxford)- Coq
Thorsten Altenkirch (University of Nottingham)- Denotational Semantics
Martin Escardo (University of Birmingham)- Games for Software Verification
Dan Ghica (University of Birmingham)- Proof Theory
Peter Hancock (University of Nottingham)- Algebraic Methods
Georg Struth (University of Sheffield)
Abstracts and lecture notes may be found here.
MGS 2008 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.