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