From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7196 Path: news.gmane.org!not-for-mail From: Andrej Bauer Newsgroups: gmane.science.mathematics.categories Subject: Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT) Date: Mon, 6 Feb 2012 16:28:45 +0100 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 1328578396 31874 80.91.229.3 (7 Feb 2012 01:33:16 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 7 Feb 2012 01:33:16 +0000 (UTC) To: categories list Original-X-From: majordomo@mlist.mta.ca Tue Feb 07 02:33:15 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RuZvj-0005aa-IX for gsmc-categories@m.gmane.org; Tue, 07 Feb 2012 02:33:11 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:53517) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1RuZuS-000850-5S; Mon, 06 Feb 2012 21:31:52 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1RuZuT-0004s8-7o for categories-list@mlist.mta.ca; Mon, 06 Feb 2012 21:31:53 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7196 Archived-At: FOURTH WORKSHOP ON FORMAL TOPOLOGY (4WFTop) June 15-19 2012 and HIGHER DIMENSIONAL ALGEBRA, CATEGORIES AND TYPES (HDACT) June 20 2012 Ljubljana (Slovenia) http://4wft.fmf.uni-lj.si/ 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). IMPORTANT DATES May 2 - deadline for abstract submissions May 16 - notification of accepted contributions 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 HIGHER DIMENSIONAL ALGEBRA, CATEGORIES AND TYPES =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=3D=3D=3D=3D=3D The Workshop on formal topology will be followed by a one-day workshop on higher dimensional algebra, categories and types, organized by * Nicola Gambino * Niel Ghani * Zhaohui Luo * Randy Pollack * Urs Schreiber * Bas Spitters * Thomas Streicher The importance of higher dimensional structure for mathematics and computer science has been recognized for a long time. However, recent connections between homotopy theory and type theory have spurred new activity that is connecting previously unrelated topics. The workshop will be a place for meeting and dissemination of ideas between researchers from different areas who all use higher dimensional structures. More information on participation and submission will follow. For further information on the workshop visit http://4wft.fmf.uni-lj.si/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]