7th Workshop on Formal Topology (7WFTop)-( 2nd annoucement- Early registration is now open until 5th Dec. 2025! )
Maria Emilia Maietti
2nd annoucement- Early registration is now open until 5th Dec. 2025!
------------------------------
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 newly published 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, Martín Escardó, Hugo Herbelin, Hajime
Ishihara, Tatsuji Kawai, Ansten Klev, Takako Nemoto, Michael
Rathjen, Giovanni Sambin, Göran Sundholm, Mark van Atten, Steve
Vickers, David Wärn, Joshua Wrigley.
CONTRIBUTED TALKS
There will be room for some contributed talks. Information about
abstract submission will appear on the workshop website https://events.math.unipd.it/7wftop/
in the new year.
ACCOMMODATION
The organizers are in contact with some public institutions that
could offer affordable accommodations. Unfortunately, due to the
nature of these institutions, they cannot commit too far in
advance. We therefore recommend participants to book their
accommodation independently, preferably with a free cancellation
option. To facilitate any accommodation sharing, we have opened a
Telegram group. Please contact the organizers at the email address
7wf...@math.unipd.it for
details.
REGISTRATION
The registration form is available starting November 3rd on the
workshop website: https://events.math.unipd.it/7wftop/.
Early registration fee (250 euros) applies until December
5th 2025. After that date, registration will be temporarily
closed; it will reopen on January 31st, and the fee will increase
to 320 euros.
SOCIAL PROGRAMME
Information about social events (dinners, excursions, etc.) will
appear on the conference website.
SCIENTIFIC COMMITTEE
Ingo Blechschmidt (University of Antwerp)
Thierry Coquand (Gothenburg University)
Martín Escardó (University of Birmingham)
Maria Emilia Maietti (University of Padua)
Per Martin-Löf (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:
7wf...@math.unipd.it