CfP: 7WFTop – 7th Workshop on Formal Topology: From Topology to Dynamic Constructivism and Back, 13

Logic List Mailing Archive

CfP: 7WFTop – 7th Workshop on Formal Topology: From Topology to Dynamic Constructivism and Back, 13–17 April 2026, Venice (Italy)

==================================

7th Workshop on Formal Topology (7WFTop).

From topology to dynamic constructivism, and back.

(first announcement)

<https://events.math.unipd.it/7wftop/>

------------------------------

The 7th Workshop on Formal Topology will take place in Venice, Italy, on April 13-17, 2026 at Convento di San Francesco della Vigna.

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 meeting is supported by Dipartimento di Matematica Tullio Levi-Civita (Universit di Padova).

------------------------------

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, Andrej Bauer, Ingo Blechschmidt, Francesco Ciraulo, Maria Manuel Clementino, Thierry Coquand, Laura Crosilla, Tom de Jong, Martn Escard, Hugo Herbelin, Hajime Ishihara, Tatsuji Kawai, Ansten Klev, Takako Nemoto, Michael Rathjen, Giovanni Sambin, Gran Sundholm, Mark van Atten, Steve Vickers, David Wrn, Joshua Wrigley.

CONTRIBUTED TALKS

There will be room for some contributed talks. Information about abstract submission will appear soon in the website of the workshop.

ACCOMODATION

The organizers will be happy to help you find accommodation, given the peculiarities of the city of Venice, and are making agreements with some facilities to guarantee partecipants a convenient price for their stay. If you are interested, please write to the workshop email address 7wftop@math.unipd.it as soon as possible, indicating "accommodation" in the subject. Finding accommodation at a reasonable price will be difficult or virtually impossible after June-July 2025.



REGISTRATION

The registration form will be available soon on the workshop website https://events.math.unipd.it/7wftop/.

Participation will require a registration fee.

SCIENTIFIC COMMITTEE

Ingo Blechschmidt (University of Antwerp)

Thierry Coquand (Gothenburg University)

Martn Escard (University of Birmingham)

Maria Emilia Maietti (University of Padua)

Per Martin-Lf (Stockholm University)

ORGANIZING COMMITTEE

Cipriano Junior Cioffo (University of Pisa)

Francesco Ciraulo (University of Padua)

Maria Emilia Maietti (University of Padua)

Samuele Maschio (University of Padua)

Pietro Sabelli (Czech Academy of Science)

Giovanni Sambin (University of Padua)

CONTACTS

For inquiries, please send an e-mail to:

7wftop@math.unipd.it





--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php