7th Workshop on Formal Topology - Call for contributions + extended early registration

[Maria Emilia Maietti]

7th Workshop on Formal Topology

3rd announcement- Call for contributions (and extended early registration)

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

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. Talk proposals have to be
uploaded in

wftop.quasicoherent.io

Talk Proposal Submission Deadline: February 10th, 2026.

Notification to Authors: Expected by February 20th, 2026 (in time for early registration)

REGISTRATION
The registration form  is currently closed. 

It will be available again starting from January  31st, 2026 on the workshop website

https://events.math.unipd.it/7wftop/#reg

Early registration fee (250 euros) is extended to the forthcoming
registration window from January 31st until February 28th, 2026. After
that date the fee will increase to 320 euros.

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
<mailto:7wf...@math.unipd.it>for details.

SOCIAL PROGRAMME
Information about social events (dinners, excursions, etc.) will appear
on the conference website https://events.math.unipd.it/7wftop/#top. 

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)