From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8751 Path: news.gmane.org!not-for-mail From: Paul B Levy Newsgroups: gmane.science.mathematics.categories Subject: Midlands Graduate School Christmas Seminar Date: Mon, 30 Nov 2015 17:53:32 +0000 Message-ID: Reply-To: Paul B Levy NNTP-Posting-Host: plane.gmane.org Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1448976149 13157 80.91.229.3 (1 Dec 2015 13:22:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 1 Dec 2015 13:22:29 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Tue Dec 01 14:22:19 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1a3ksZ-0003fa-SE for gsmc-categories@m.gmane.org; Tue, 01 Dec 2015 14:22:00 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:34060) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1a3krC-0005xe-0g; Tue, 01 Dec 2015 09:20:34 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1a3krA-0005Sv-Br for categories-list@mlist.mta.ca; Tue, 01 Dec 2015 09:20:32 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8751 Archived-At: 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]