8-10 June 2015, 5th Workshop on Formal Topology: Spreads and Choice Sequences, Djursholm, Sweden

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 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.

For more information, see http://www.math.su.se/5wftop or write to 5wftop at math.su.se