[FOM] FIFTH WORKSHOP ON FORMAL TOPOLOGY, Stockholm, June 8-10, 2015
Erik Palmgren
palmgren at math.su.se
Fri Dec 19 07:13:58 EST 2014
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 at math.su.se
More information about the FOM
mailing list