Platinum Sponsor | ||
Gold Sponsor |
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 participants 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.
Places are limited and will be allocated on a first-come first-served basis. Please register early to guarantee your place.
Registration fees:
Participant Category | Fee |
---|---|
Student, academic, independent | £550 |
Industry | £850 |
Registration includes 5 nights single en-suite accommodation (Sunday night to Thursday night), lunch and coffee breaks, and the conference dinner.
The following courses are planned for MGS 2018:
Invited course (advanced):
Introductory courses:
- Type-driven Development with Idris
Edwin Brady, University of St AndrewsAdvanced courses:
- Lambda Calculus
Venanzio Capretta, University of Nottingham- Category Theory
Roy Crole, University of Leicester- Domain Theory and Denotational Semantics
Achim Jung, University of Birmingham
- Univalent Foundations
Benedikt Ahrens, University of Birmingham- Coalgebra
Alexander Kurz, University of Leicester- Separation Logic: From Algebraic Foundations to Verification Tool Design
Georg Struth, University of Sheffield- Machine Learning
Michel Valstar, University of Nottingham
Level | Benefits | Contribution |
---|---|---|
Bronze |
|
£500 |
Silver |
|
£1000 |
Gold |
|
£2000 |
Platinum |
|
£4000 |
Graham Hutton, University of Nottingham Henrik Nilsson, University of Nottingham