thorsten.altenkirch @ nottingham.ac.uk
University of Nottingham, 22-26 April 2014
The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers.
This year, the MGS is at the University of Nottingham. It will start on 22 April and finish on 26 April.
Participants of MGS 2011
MGS2014 consists of ten courses, each with five hours of lectures plus exercise sessions. One third of the programme offers introductory (or core) courses which all participants attend. The remainder provides advanced (or specialised) courses from which each participant selects a subset depending upon his or her interests and one course given by an invited lecturer (Conor McBride).
|Category Theory||CAT||Roy Crole||Leicester|
|Denotational Semantics||DEN||Achim Jung||Birmingham|
|Typed Lambda Calculus||LAM||Paul Blain Levy||Birmingham|
|Concurrency, Causality, Reversibility||CCR||Irek Ulidowski||Leicester|
|Theory of Randomised Search Heuristics||HEU||Dirk Sudholt, Per Kristian Lehre, Pietro S. Oliveto, Christine Zarges||Birmingham, Nottingham, Sheffield|
|Homotopy Type Theory||HOT||Thorsten Altenkirch||Nottingham|
|Infinite Data Structures||INF||Venanzio Capretta||Nottingham|
|Logical relations and parametricity||PAR||Uday Reddy||Birmingham|
|Higher-Order Functional Reactive Programming||REA||Neelakantan Krishnaswami||Birmingham|
In addition to the standard programme, Conor McBride from the University of Strathclyde will give an invited course on Dependently Typed Programming (DTP).
The deadline for registration for MGS 2014 is Friday, 21 March. The registration fee is £440.This includes 5 nights of accommodation (from Monday 21 evening to Saturday 26 April morning), catering for lunches and coffee breaks and the conference dinner. Accommodation is at the University's Newark Hall of Residence and includes breakfast.
To register for MGS 2014, you need to book this via the University of Nottingham online store. The site will ask you to register, if this is the first time to use it. You can pay using a credit or debit card.
We recommend to register as early as possible because places will be allocated on a first-come first-serve base and it is quite possible that we run out of space before 21 March.
For any additional information, contact the local organiser, Thorsten Altenkirch, at the address firstname.lastname@example.org.
You can find directions to the School of Computer Science and to your accommodation on the University's How to Find Us web page.
Wireless connection. While at the school, you can connect to the internet via the University's guests network (UoN-guest).