Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 8-10 June 2015
Location: Djursholm, Sweden
Deadline: 16 March 2015

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

Submissions of short abstracts are accepted through easychair.org. Deadline for abstract submissions: March 16.

Please note that this newsitem has been archived, and may contain outdated information or links.