[FOM] Midlands Graduate School in the Foundations of Computing Science - register by 21 March

Paul B Levy P.B.Levy at cs.bham.ac.uk
Fri Mar 14 14:53:28 EDT 2014

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.


* Category Theory   (Roy Crole, Leicester)

* Denotational Semantics  (Achim Jung, Birmingham)

* Typed Lambda Calculus  (Paul Blain Levy, Birmingham)


* Concurrency, Causality, Reversibility  (Irek Ulidowski, Leicester)

* Theory of Randomised Search Heuristics     (Dirk Sudholt, Per Kristian 
Lehre,Pietro S. Oliveto, Christine Zarges, Birmingham, Nottingham, 

* 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


from where you also find a link to the registration 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 1st come 1st serve base.

Paul Blain Levy
School of Computer Science, University of Birmingham

More information about the FOM mailing list