Fifth Workshop on Formal Topology: Spreads and Choice Sequences

8 - 10 June 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).


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




Schedule and abstracts of talks are found at Institute Mittag-Leffler webpage of the workshop.
Accepted contributed talks by
Abstracts and slides of talks


Submissions of short abstracts are accepted through, see Submission is closed.


The workshop is part of the Institut Mittag-Leffler short conferences program 2015, and has due to reason of limited space, 30 persons as the maximum number of participants.


Institut Mittag-Leffler.

G.S. Magnusson foundation

Japan Society for the Promotion of Sciences (JSPS), Core-to-Core Program.

Department of Mathematics, University of Padova

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

Department of Mathematics, Stockholm University


June 1, 2015, Erik Palmgren. Email: 5wftop [at] math (dot) su {dot} se