[TYPES/announce] FIFTH WORKSHOP ON FORMAL TOPOLOGY, Stockholm, June 8-10, 2015

Erik Palmgren palmgren at math.su.se
Fri Dec 19 07:10:42 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 Types-announce mailing list