Last updated on 31st January 2014

Description; Upcoming Events; Recent Events; Organisation; Sponsors; Contact.

Midlands Graduate School in the Foundations of Computing Science

Birmingham Crest Birmingham Logo             Leicester Logo             Leicester Logo             Sheffield Logo

Xmas Seminars: 17 December 2013, University of Leicester

MGS 2014: 22-26 April 2014, University of Nottingham

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 has two goals:

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, and the remainder being advanced (or specialised) courses from which each participant selects a subset depending upon their interests. The introductory courses cover topics such as category theory, operational semantics, denotational semantics, typed lambda calculi, and domain theory. The range of advanced courses is much broader, reflecting the particular expertise of the lecturers, and has included topics such as co-algebras, 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, rewriting, semantics of effects, stone duality, topology of data types, type theory, and verifying security protocols.

Upcoming Events

Xmas Seminars: 17th December 2013, University of Leicester
MGS 2014: 22-26 April 2014, University of Nottingham

Recent Events

MGS 2013: 8-12 April 2013, University of Leicester
MGS 2012: 23-27 April 2012, University of Birmingham
MGS 2011: 11-15 April 2011, University of Nottingham
MGS 2010: 28 March - 1 April 2010, University of Sheffield
MGS 2009: 30 March - 3 April 2009, University of Leicester
MGS 2008: 14-18 April 2008, University of Birmingham
MGS 2007: 16-20 April 2007, University of Nottingham
MGS 2006: 8-12 April 2006, University of Leicester
MGS 2005: 11-15 April 2005, University of Birmingham
MGS 2004: 29 March - 2 April 2004, University of Nottingham
MGS 2003: 31 March - 4 April 2003, University of Leicester

Older events are available here: 2001-2002, 2000-2001 and 1999-2000.


Roy Crole University of Leicester Director
Venanzio Capretta University of Nottingham Local contact
Eike Ritter University of Birmingham Local contact
Georg Struth University of Sheffield Local contact


EPSRC logo


Any queries regarding the Midlands Graduate School should be addressed to Roy Crole, the current director.