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, Nottingham, and Sheffield 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 in recent years has seen increased participation from industry. We also very much welcome students from abroad.
MGS 2019 was held in Birmingham, UK, 14 (Sunday) - 18 (Thursday) April, hosted by the School of Computer Science at the University of Birmingham.
The following courses will be held at MGS:
- Lambda Calculus (course notes)
Venanzio Capretta (University of Nottingham)
- Category Theory (course notes)
Thorsten Altenkirch (University of Nottingham)
- Univalent Type Theory in Agda (course notes)
Martín Escardó (University of Birmingham)
- Adventures in Property Based Testing (course notes)
John Hughes (Chalmers University)
- Calculating programs (course notes)
Jennifer Hackett (University of Nottingham)
- Type Refinement Systems (course notes)
Noam Zeilberger (University of Birmingham)
- Synthesis of Reactive Systems (course notes)
Rayna Dimitrova (University of Leicester)
- Monoidal Categories, Higher Categories (course notes)
Jamie Vicary (University of Birmingham)
If you are a citizen of an EEA country (EU + Iceland, Norway, Switzerland), then you will be able to enter Britain for up to three months without a visa, independently of what kind of Brexit will eventually take place.
Everyone else, you may wish to check the online visa requirements page to see whether you need a visa. If so, then the type of visa to apply for is the Short-term study visa. For the application process you need an invitation letter from the University of Birmingham. To obtain it, fill in this short questionnaire as soon as possible. We, as organisers, can not issue such a letter.
If attending the MGS is not your main reason for visiting the UK at this time, then you can also apply for a Standard Visitor Visa. An invitation letter from the University is then not needed.
Achim Jung University of Birmingham
MGS 2019 will be held in the School of Computer Science. Travel instructions may be found here . For participants staying at the Ibis Budget 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.