Functional Programming Lab
  • Print

Midlands Graduate School in the Foundations of Computing Science

University of Birmingham Logo
University of Leicester logo
University of Nottingham logo
University of Sheffield logo

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:

  • 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
  • verifying security protocols.

Most Recent Event

Midlands Graduate 2017

Dates: 9-13 April 2017

Location: University of Leicester. 

Full event details 

Previous Events

Please click on the links below 
 2016 11-15 April 2016, University of Birmingham
 2015 7-11 April 2015, University of Sheffield
 2014 22-26 April 2014, University of Nottingham
 2013 8-12 April 2013, University of Leicester
 2012 23-27 April 2012, University of Birmingham
 2011 11-15 April 2011, University of Nottingham
 2010 28 March - 1 April 2010, University of Sheffield
 2009 30 March - 3 April 2009, University of Leicester
 2008 14-18 April 2008, University of Birmingham
 2007 16-20 April 2007, University of Nottingham
 2006 8-12 April 2006, University of Leicester 
 2005 11-15 April 2005, University of Birmingham 
 2004 29 March - 2 April 2004, University of Nottingham 
 2003 31 March - 4 April 2003, University of Leicester 


Other historical events: 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 

Functional Programming Lab

The University of Nottingham
School of Computer Science
Jubilee Campus
Nottingham, NG7 1BB

telephone: +44 (0) 115 95 14220