From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7264 Path: news.gmane.org!not-for-mail From: Andrej Bauer Newsgroups: gmane.science.mathematics.categories Subject: Call for abstracts: Fourth Workshop on Formal Topology, Ljubljana, June 15-19 2012 Date: Mon, 23 Apr 2012 14:30:15 +0200 Message-ID: Reply-To: Andrej Bauer NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1335194837 19166 80.91.229.3 (23 Apr 2012 15:27:17 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 23 Apr 2012 15:27:17 +0000 (UTC) To: categories list Original-X-From: majordomo@mlist.mta.ca Mon Apr 23 17:27:16 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.80]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1SMLAY-0004Ju-BX for gsmc-categories@m.gmane.org; Mon, 23 Apr 2012 17:27:14 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:54733) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1SML9H-0007N7-AO; Mon, 23 Apr 2012 12:25:55 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1SML9H-000299-L8 for categories-list@mlist.mta.ca; Mon, 23 Apr 2012 12:25:55 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7264 Archived-At: ***** CALL FOR ABSTRACTS ***** FOURTH WORKSHOP ON FORMAL TOPOLOGY (4WFTop) June 15-19 2012 Ljubljana (Slovenia) http://4wft.fmf.uni-lj.si/ SUBMISSION OF EXTENDED ABSTRACTS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D Short abstracts should be submitted via http://4wft.fmf.uni-lj.si/submissions/ The deadline for submissions is May 2nd. We may be able to accept late submissions, but please note that are only able to hold free hotel rooms until May 5th. If you are planning to attend, make a hotel reservation early, as described on the workshop web site. You can cancel it without incurring any costs, as long as you do it well before the reservation date. FOURTH WORKSHOP ON FORMAL TOPOLOGY (4WFTop) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The workshop on formal topology is an international meeting dedicated to formal topology and related topics, including constructive and computable topology, point-free topology, and other generalizations of topology. This is the fourth of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The first three have been held in Padua (1997), Venice (2002), and Padua (2007). The workshop is colocated with the Workshop on Higher Dimensional Algebra, Categories and Types which will take place on June 20, 20012. See the workshop website for details. IMPORTANT DATES May 2 - deadline for abstract submissions May 4 - notification of accepted contributions May 5 - deadline for guaranteed hotel availability June 15 - 4WFTop tutorial day June 16-19 - 4WFTop workshop June 20 - HDACT workshop KEYNOTE SPEAKERS * Per Martin-L=C3=B6f (Stockholm University) * Ieke Moerdijk (Radboud University Nijmegen) * Vladimir Voevodsky (Institute of Advanced Studies) INVITED SPEAKERS * Olivia Caramello (University of Cambridge) * Francesco Ciraulo (University of Padua) * Hajime Ishihara (Japan Advanced Institute of Science and Technology) * Davorin Le=C5=A1nik (TU Darmstadt) * Claudio Sacerdoti Coen (University of Bologna) * Alex Simpson (University of Edinburgh) * Bas Spitters (Radboud University Nijmegen) * Paul Taylor (United Kingdom) PROGRAM COMMITTEE * Andrej Bauer (chair, University of Ljubljana) * Thierry Coquand (Chalmers University) * Maria Emilia Maietti (University of Padua) * Giovanni Sambin (University of Padua) * Peter Schuster (co-chair, University of Leeds) SUBMISSIONS Submissions of short abstracts are accepted through easychair.org, see http://www.easychair.org/conferences/?conf=3D4wftop TUTORIAL DAY June 15th 2012 will be dedicated to tutorials on topics in and around formal topology, suitable for researchers and graduate students without in-depth knowledge of the area. They will be given by: * Thierry Coquand (Chalmers University) * Erik Palmgren (Stockholm University) * Giovanni Sambin (University of Padua) * Steven Vickers (University of Birmingham) For further information on the workshop visit http://4wft.fmf.uni-lj.si/ The workshop is supported by: * Faculty of Mathematics and Physics at the University of Ljubljana * Institute of mathematics, physics and mechanics, Ljubljana * Department of Mathematics, University of Padua, Italy [For admin and other information see: http://www.mta.ca/~cat-dist/ ]