Logic List Mailing Archive

5th Workshop on Formal Topology

8-10 Jun 2015
Djursholm, Sweden

FIFTH WORKSHOP ON FORMAL TOPOLOGY:
               Spreads and Choice Sequences
                     June 8-10, 2015

                 Institut Mittag-Leffler
                   Djursholm, Stockholm


The study of the logical foundations of topology is playing an important 
role in mathematical logic and foundations of especially constructive 
mathematics. Early works by Brouwer on the theory of spreads and choice 
sequences were influencing much work in the area. A modernized form of his 
ideas is embodied in constructive point­?free topology or formal topology. 
The workshop will gather experts in this field and related areas, 
including computable aspects and non-classical aspects of topology. A 
subtheme will be modern developments in the theory of spreads and choice 
sequences, as well as its history.

This is the fifth of a series of successful meetings on the development of 
Formal Topology and its connections with related approaches. The first 
four have been held in Padua (1997), Venice (2002), Padua (2007) and 
Ljubljana (2012)

IMPORTANT DATES

March 16		- deadline for abstract submissions
March 30		- notification of accepted contributions
May 25		    - registration closes
June 8-10		- the workshop


INVITED SPEAKERS (confirmed)

Mark van Atten (CNRS and IHPST, Sorbonne University)
Andrej Bauer (University of Ljubljana)
Francesco Ciraulo (University of Padova)
Martín Escardó (University of Birmingham)
Michael Fourman (University of Edinburgh)
Ieke Moerdijk (Radboud University, Nijmegen)
Joan Rand Moschovakis (University of California, Los Angeles)
Thomas Streicher (Technical University of Darmstadt)
Wim Veldman (Radboud University)
Steve Vickers (University of Birmingham)

PROGRAM COMMITTEE

Thierry Coquand (Chalmers/University of Gothenburg)
Maria Emilia Maietti (University of Padova)
Per Martin-Löf (Stockholm University)
Erik Palmgren (Stockholm University)
Giovanni Sambin (University of Padova)

SUBMISSIONS

Submissions of short abstracts are accepted through easychair.org, see https://easychair.org/conferences/?conf=5wftop.

VENUE

The workshop is part of the Institut Mittag-Leffler short conferences program 2015. The number of participants is limited to 30 due to reasons of space.

http://www.mittag-leffler.se/?q=150608

SPONSORS

Institut Mittag-Leffler

Department of Mathematics, University of Padova

Department of Computer Science and Engineering, Chalmers and University of 
Gothenburg

Department of Mathematics, Stockholm University

FURTHER INFORMATION

Workshop webpage: http://www.math.su.se/5wftop

For further information write to 5wftop@math.su.se