Dear colleagues, 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. CORE COURSES * Category Theory (Roy Crole, Leicester) * Denotational Semantics (Achim Jung, Birmingham) * Typed Lambda Calculus (Paul Blain Levy, Birmingham) ADVANCED COURSES * Concurrency, Causality, Reversibility (Irek Ulidowski, Leicester) * Theory of Randomised Search Heuristics (Dirk Sudholt, Per Kristian Lehre,Pietro S. Oliveto, Christine Zarges, Birmingham, Nottingham, Sheffield) * Homotopy Type Theory (Thorsten Altenkirch, Nottingham) * Infinite Data Structures (Venanzio Capretta, Nottingham) * Logical relations and parametricity (Uday Reddy, Birmingham) * Higher-Order Functional Reactive Programming (Neelakantan Krishnaswami, Birmingham) + an invited lecture course on Dependently Typed Programming by Conor McBride (Strathclyde). The fee is £440, this includes on campus accommodation with breakfast, lunches, coffees and a workshop dinner! More information is available on http://www.cs.nott.ac.uk/~txa/mgs.2014/ from where you also find a link to the registration page <http://store.nottingham.ac.uk/browse/extra_info.asp?compid=1&modid=2&deptid=9&catid=4&prodid=359

page.

The registration deadline is Friday, 21 March. Please register as soon as possible since there is a limited number of spaces which are allocated on a first-come-first-served basis. -- Paul Blain Levy School of Computer Science, University of Birmingham +44 121 414 4792 http://www.cs.bham.ac.uk/~pbl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]