Canaletto, San Francesco della Vigna (ca. 1760)

7th Workshop on
Formal Topology

From topology to dynamic constructivism,
and back.

Convento di San Francesco della Vigna

Venice, April 13–17, 2026

↓

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 recently 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

Programme

Monday 13

Tuesday 14

Wednesday 15

Thursday 16

Friday 17

Contributed Talks

The following talk proposals have been accepted to 7WFTop:

Registration

Registration are closed. The registration fees were as follows:

Anyone who is still interested in registering but was unable to do so can email us at 7wftop@math.unipd.it

Venue

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

Accomodation and Venice Access Fee

⚠️ Please beware of accommodation-related scam emails targetting this event.

On the weekends of April 10–12 and April 17–19, the Municipality of Venice imposes a 10€ daily Access Fee. You are exempt from the fee if you are staying in an accommodation facility in Venice. To prove this, you need to complete a self-declaration indicating where you are staying. The form can be found on the municipality’s website at this page. It can be completed either by using the fillable PDF (link at the top of the page) or by filling in the online form (at the bottom of the page).

Arriving

By train: Venice is well connected with the Italian and European train system, allowing for a more sustainable journey. We recommend The Man in Seat Sixty-One to check for the best connections. The train station of Venice’s main island is “Venezia Santa Lucia”, not to be confused with “Venezia Mestre”.

To reach the venue from the train station, take the ferry 5.2 departing in front of the station at dock D (for tickets and pricing see below at getting around in Venice) and get off at “Celestia” stop, from there the venue is 4 minutes by walking.

By plane: The closest airports are Venice Marco Polo and Treviso Airport.

To reach the venue from Venice Marco Polo, take Alilaguna Blue Line to “Ospedale” stop, from there the venue is 7 minutes by walking.

To reach the venue from Treviso Airport, take ATVO to Piazzale Roma, then ferry 5.2 from dock “Piazzale Roma D” and get off at “Celestia” stop, from there the venue is 4 minutes by walking.

Getting around in Venice

⚠️ Be extremely careful of pickpockets, especially on docks and ferries.

In Venice, you can only move on foot or by boat. We strongly advise comfortable shoes.

Ferry: ferry tickets can be bought online at muoversi.venezia.it/en/ (recommended) or phisically at piazzale Roma, the train station, or Rialto bridge.

Taxi: there is also the possibility of booking a private water taxi. A taxi ride costs between 80€-150€; a single taxi can fit up to 8 people approximately. Ask the organizers for more info.

Payments: Cards are widely accepted. If you need to withdraw cash, avoid independent ATMs that aren’t connected to a bank, as they may charge fees up to 10% higher.

Food suggestions

Tourism suggestions

The venue is located in one of the less crowded area of Venice. We suggest in particular the church of Santissimi Giovanni e Paolo and the adiacent Scuola Grande di San Marco, and the church of Santa Maria dei Miracoli.

Committees

Scientific Committee

Organizing Committee

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