From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9877 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Martin Escardo Newsgroups: gmane.science.mathematics.categories Subject: Giovanni Sambin and Steve Vickers retirements joint celebration Date: Wed, 3 Apr 2019 14:18:45 +0100 Message-ID: Reply-To: Martin Escardo Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="111400"; mail-complaints-to="usenet@blaine.gmane.org" To: categories Original-X-From: majordomo@mlist.mta.ca Wed Apr 03 21:01:46 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hBl8r-000SnV-Kf for gsmc-categories@m.gmane.org; Wed, 03 Apr 2019 21:01:45 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:34087) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hBl8T-0004FA-S9; Wed, 03 Apr 2019 16:01:21 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hBl6c-0000RN-7S for categories-list@mlist.mta.ca; Wed, 03 Apr 2019 15:59:26 -0300 Content-Language: en-GB Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9877 Archived-At: Programme for Giovanni Sambin and Steve Vickers retirement joint celebration following the 6th Workshop on Formal Topology. https://www.cs.bham.ac.uk/~sjv/6WFTop/ The registration system has a design bug and currently doesn't allow one to register for only this event. If you would like to attend this event only, please contact me that I will sort this out manually for you. Saturday 13th April 9:30 Thierry Coquand 10:00 Francesco Ciraulo break 10:30 - 11:30 11:00 Claudio Sacerdoti 11.30 Hajime Ishihara 12.00 Milly Maietti ----------------------- 12.30-14.30 lunch ----------------------- 14.30 Erik Palmgren 15 Pedro Resende 15-15.30 Christopher Townsend break 15.30-16:00 16.00-16.30 Martin Escardo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]