Last updated on 31st January 2014
Description; Upcoming Events; Recent Events; Organisation; Sponsors; Contact.
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.
|Xmas Seminars:||17th December 2013, University of Leicester|
|MGS 2014:||22-26 April 2014, University of Nottingham|
|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|
Any queries regarding the Midlands Graduate School should be addressed to Roy Crole, the current director.