The Workshop

This is the seventh of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The first six have been held in Padua (1997), Venice (2002), Padua (2007), Ljubljana (2012), Stockholm (2015), and Birmingham (2019).

The theme of the 7WFTop is:
From topology to dynamic constructivism, and back.

Dynamic constructivism is a new approach to the foundation of mathematics proposed by Giovanni Sambin starting from the 90s and whose forthcoming book is a first organic exposition. The main claim is that mathematics is the result of a dynamic, human process, which stems from the interplay between the construction of mathematical entities, by abstraction and by idealization, and their selection according to their effectiveness in applications to reality and in the organization of mathematics itself. Pointfree topology in the form of Formal Topology and the more recent Positive Topology provides a key tool to link the effective content of mathematics with its ideal one, and thus achieve a synthesis of computation and visual intuition. A careful management of information within a dynamic view "back and forth" from mathematics to its foundation inevitably leads to accepting a plural vision of mathematics, thus enlightening connections between different constructive or even classical approaches to it.

Invited Speakers

• Steve Awodey (Carnegie Mellon University, USA)
• Andrej Bauer (University of Ljubljana, Slovenia)
• Ingo Blechschmidt (University of Antwerp, Belgium)
• Francesco Ciraulo (University of Padua, Italy)
• Maria Manuel Clementino (University of Coimbra, Portugal)
• Thierry Coquand (University of Gothenburg, Sweden)
• Laura Crosilla (University of Florence, Italy)
• Tom de Jong (University of Nottingham, UK)
• Martín Escardó (University of Birmingham, UK)
• Hugo Herbelin (INRIA, Paris, France)
• Hajime Ishihara (Tohoku University, Japan)
• Tatsuji Kawai (Kochi University, Japan)
• Ansten Klev (Czech Academy of Sciences, Prague, Czech Republic)
• Takako Nemoto (Tohoku University, Japan)
• Michael Rathjen (University of Leeds, UK)
• Giovanni Sambin (University of Padua, Italy)
• Göran Sundholm (Leiden University, Netherlands)
• Mark van Atten (CNRS, Paris, France)
• Steve Vickers (University of Birmingham, UK)
• David Wärn (University of Gothenburg, Sweden)
• Joshua Wrigley (Université Paris Cité, France)

Programme

TBA

Registration

TBA

Venue

The workshop will be held at the Franciscan monastery of San Francesco della Vigna in Venice, Italy. (Google Maps)

Contact

For any information regarding the organization, please write to 7wftop@math.unipd.it

Committees

Scientific Committee

• Ingo Blechschmidt (University of Antwerp, Germany)
• Thierry Coquand (University of Gothenburg, Sweden)
• Martín Escardó (University of Birmingham, UK)
• Maria Emilia Maietti (University of Padua, Italy)
• Per Martin-Löf (Stockholm University, Sweden)

Organizing Committee

• Cipriano Junior Cioffo (University of Pisa, Italy)
• Francesco Ciraulo (University of Padua, Italy)
• Maria Emilia Maietti (University of Padua, Italy)
• Samuele Maschio (University of Padua, Italy)
• Pietro Sabelli (Czech Academy of Sciences, Prague, Czech Republic)
• Giovanni Sambin (University of Padua, Italy)