[TYPES/announce] Midlands Graduate School Christmas Seminar

[Paul B Levy]

Dear all,

You are warmly invited to attend:

Midlands Graduate School in the Foundations of Computing Science
Christmas Seminar
University of Birmingham
Thursday 17 December 2015
14:00-17:45
http://www.cs.bham.ac.uk/~pbl/mgsxmas2015.html

Schedule:

14:00-15:00 Paulo Oliva (Queen Mary, University of London)
On pirates, treasures and monads

15:00-15:45 Refreshments

15:45-16:45 Steve Vickers (Birmingham)
Topology via Logic

16:45-17:45 Nicolai Kraus (Nottingham)
Higher Inductive Types without Recursive Higher Constructors

17:45-  Pub and Restaurant

Midlands Graduate School is jointly run by the Universities of
Birmingham, Leicester, Nottingham and Sheffield.

Best regards,
Paul



-- 
Paul Blain Levy
School of Computer Science, University of Birmingham
http://www.cs.bham.ac.uk/~pbl