2014 Midlands Graduate School

The 2014 Midlands Graduate School is coming up. Please attend, or send your students!

---

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.

Program

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).

Core Courses

Course Title	Acronym	Lecturer	Affiliation
Category Theory	CAT	Roy Crole	Leicester
Denotational Semantics	DEN	Achim Jung	Birmingham
Typed Lambda Calculus	LAM	Paul Blain Levy	Birmingham

Advanced Courses

Course Title	Acronym	Lecturer	Affiliation
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

Invited Lecturer

In addition to the standard programme, Conor McBride from the University of Strathclyde will give an invited course on Dependently Typed Programming (DTP).

Registration

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.

Contact

For any additional information, contact the local organiser, Thorsten Altenkirch, at the address txa@cs.nott.ac.uk.