From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9852 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Martin Escardo Newsgroups: gmane.science.mathematics.categories Subject: Workshop on Formal Topology (6WFTop) Date: Mon, 4 Mar 2019 18:15:06 +0000 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="68758"; mail-complaints-to="usenet@blaine.gmane.org" To: categories , "constructivenews@googlegroups.com" Original-X-From: majordomo@mlist.mta.ca Tue Mar 05 14:45:09 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 1h1ANY-000Hfd-O4 for gsmc-categories@m.gmane.org; Tue, 05 Mar 2019 14:45:08 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:50239) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1h1AMr-0005QY-Gc; Tue, 05 Mar 2019 09:44:25 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1h1ALT-0007kz-HS for categories-list@mlist.mta.ca; Tue, 05 Mar 2019 09:42:59 -0400 Content-Language: en-GB Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9852 Archived-At: This may of interest to some of you. * The workshop will be followed by a day of talks celebrating Steve Vickers and Giovanni Sambin's retirements last October and you are invited to attend. * The workshop forms the middle week of a series of Birmingham Spring meetings this April, including also the School and Workshop on Univalent Mathematics, and the Midlands Graduate School in the Foundations of Computer Science. Participants in 6WFTop may also be interested in the other two. Links can be found on the website. https://unimath.github.io/bham2019/ https://www.cs.bham.ac.uk/~sjv/6WFTop/ https://events.cs.bham.ac.uk/mgs2019/ * Submissions for contributed talks to 6WFTop are open. --- 6th Workshop in Formal Topology (6WFTop) School of Computer Science, University of Birmingham Mon-Fri 8-12 April 2019. These workshops date back to 1997, and cover point-free topology, broadly interpreted, and its logical foundations. There is always a lively and fruitful interaction between different communities from mathematics, logic and computer science, and the meetings have proved fertile ground for developing commonalities between different foundational approaches such as predicative type theory, toposes and constructive set theory. The main parts of the programme are - * A tutorial day on the Monday around the theme "What is a space?". Matthieu Anel and Benedikt Ahrens will introduce the ideas of toposes and univalent type theory. * Talks from invited speakers: Ingo Blechschmidt, Olivia Caramello, Maria Manuel Clementino, Tatsuji Kawai, Peter Johnstone and Giovanni Sambin. * Contributed talks from other participants - if you wish to offer one, please email a title and abstract to the organizers, at s.j.vickers@cs.bham.ac.uk. Further details are on the workshop web site at http://www.cs.bham.ac.uk/~sjv/6WFTop/ The workshop is benefiting greatly from generous funding by the London Mathematical Society and the British Logic Colloquium. Local organizers: Steve Vickers, Martin Escardo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]