Midlands Graduate School in the Foundations of Computing Science
The Midlands Graduate School (MGS) in the Foundations of Computing Science was established in 1999 as a collaboration between researchers at the Universities of Birmingham, Leicester and Nottingham, and in 2007 was joined by the University of Sheffield.
The Graduate School aims to provide PhD students with:
- a sound basis for research in the mathematical foundations of computing, by means of a broad education in state-of-the-art topics and techniques
- the opportunity to make contact with established researchers in the field, and other students at a similar stage in their research careers.
In pursuit of these goals, an annual Spring School is held over five days during the Easter vacation period, and comprises a series of technical courses on introductory, advanced, and emerging topics in the mathematical foundations of computing. The MGS is primarily aimed at UK-based students, but participants from outside of the UK are welcome to attend, and many have done so in the past.
A typical Spring School consists of ten courses with five hours of lectures each, with around one third of the courses being introductory (or core) courses that are taken by all participants.
The introductory courses cover topics such as:
- category theory
- operational semantics
- denotational semantics
- typed lambda calculi
- domain theory.
The remaining courses are advanced (or specialised) courses from which each participant selects a subset, depending upon their interests. The range of advanced courses is much broader, reflecting the particular expertise of the lecturers, and has included topics such as:
- concurrency theory
- dependently typed programming
- descriptive complexity
- exact real-numbers
- formal languages and group theory
- foundations of object-oriented languages
- game semantics
- intuitionistic logic
- proof theory
- logics for dynamic data structures
- mathematics of program construction
- mathematics of web searching
- mechanised theorem proving
- model checking
- models of variable binding
- probabilistic verification
- quantum programming
- semantics of effects
- stone duality
- topology of data types
- type theory
- verifying security protocols.
Most Recent Event
Midlands Graduate 2017
Dates: 9-13 April 2017
Location: University of Leicester.
Full event details
Please click on the links below
||11-15 April 2016, University of Birmingham
||7-11 April 2015, University of Sheffield
||22-26 April 2014, University of Nottingham
||8-12 April 2013, University of Leicester
||23-27 April 2012, University of Birmingham
||11-15 April 2011, University of Nottingham
||28 March - 1 April 2010, University of Sheffield
||30 March - 3 April 2009, University of Leicester
||14-18 April 2008, University of Birmingham
||16-20 April 2007, University of Nottingham
||8-12 April 2006, University of Leicester
||11-15 April 2005, University of Birmingham
||29 March - 2 April 2004, University of Nottingham
||31 March - 4 April 2003, University of Leicester
Other historical events: 2001-2002, 2000-2001 and 1999-2000.