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).
IMPORTANT DATES
| March 16 |
|
- deadline for abstract submissions. Closed. |
| March 30 |
|
- notification of accepted contributions. Notifications sent. |
| May 25 |
|
- registration closes |
| June 8-10 |
|
- the workshop |
INVITED SPEAKERS AND PARTICIPANTS
- Mark van Atten (SND, CNRS/Paris IV)
- 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 (Occidental College, Los Angeles)
- Thomas Streicher (Technical University of Darmstadt)
- Göran Sundholm (University of Leiden)
- Anne S. Troelstra (University of Amsterdam)
- 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)
WORKSHOP PROGRAMME
Schedule and abstracts of talks are found at Institute Mittag-Leffler webpage of the workshop.
Accepted contributed talks by
- Tatsuji Kawai (JAIST)
- Yoshihiro Maruyama (Oxford)
- Takako Nemoto (JAIST)
- Paige North (Cambridge)
- Iosif Petrakis (Munich)
- Davide Rinaldi (Leeds)
- Peter Schuster (Verona)
- Bas Spitters
Abstracts and slides of talks
SUBMISSIONS
Submissions of short abstracts are accepted through easychair.org, see
https://easychair.org/conferences/?conf=5wftop. Submission is closed.
VENUE
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.
http://www.mittag-leffler.se/?q=150608
SPONSORS
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