The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the Mathematical Foundations of Computing. It is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield, and has run annually since 1999. The lectures are aimed at PhD students, typically in their first or second year of study, but the school is open to anyone who is interested, and has increasingly seen participation from industry, for example. We welcome particpants from all over the world.
MGS 2018 is going to be held in Nottingham, UK, 9–13 April, hosted by the School of Computer Science, the University of Nottingham. Eight courses are going to be given: three introductory ones, and five advanced. The students participate in all the introductory courses and chose additional options from the advanced courses.
The following courses are planned for MGS 2018:
Invited course (advanced):
Type-driven Development with IdrisIntroductory courses:
Edwin Brady, University of St Andrews
- Category Theory
Roy Crole, University of Leicester
- Domain Theory and Denotational Semantics
Achim Jung, University of Birmingham
- Lambda Calculus
Venanzio Capretta, University of Nottingham
Graham Hutton, University of Nottingham Henrik Nilsson, University of Nottingham