7th Workshop on Formal Topology (7WFTop)-( first annoucement)
================================== 7th Workshop on Formal Topology (7WFTop).
From topology to dynamic constructivism, and back.
(first announcement)
------------------------------ 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, 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 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<mailto: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) 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: 7wftop@math.unipd.it<mailto:7wftop@math.unipd.it> You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
2nd annoucement- Early registration is now open up to 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 7wftop@math.unipd.it<mailto:7wftop@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: 7wftop@math.unipd.it<mailto:7wftop@math.unipd.it> You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
7th Workshop on Formal Topology https://events.math.unipd.it/7wftop/ 3rd announcement - Call for contributions + 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 7wftop@math.unipd.it<mailto:7wftop@math.unipd.it> <mailto:7wftop@math.unipd.it><mailto:7wftop@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) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Call For Contributions ======================================================= CCC 2026: Continuity, Computability, Constructivity – From Logic to Algorithms Dedicated to Ulrich Berger on the Occasion of his 70th Birthday and to the Memory of Willem Fouché Kyoto, Japan, May 27-30, 2026 Participation is open both in presence and online. Conference Website: https://www.i.h.kyoto-u.ac.jp/ccc2026/ ============================================== Submission link: https://easychair.org/conferences/?conf=ccc2026 Submission deadline: March 31, 2026 Notification of acceptance: April 15, 2026 Extended abstracts (1-2 pages) of original work should be submitted in pdf format. ==================================================== Topics: constructive mathematics, constructive analysis, computable analysis, exact real number computation CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis and topology, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety-critical applications and scientific computation. Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, Ljubljana 2019, Faro 2020 (online), Birmingham 2021 (online), Padua 2022, Kyoto 2023, Nice 2024, Swansea 2025. ===================================================================== Submission Guidelines The workshop invites all contributions relating to computation where issues of continuity, computability and constructivity play major roles. Specific areas of interest include: Exact real number computation Correctness of algorithms on infinite data Computable analysis Complexity of real numbers, real-valued functions, etc. Effective descriptive set theory Domain theory Constructive analysis and topology Constructive foundations Category-theoretic approaches to computation on infinite data Weihrauch degrees Other related areas. =============================================== Tutorial speakers: Paulo Oliva (London, UK) Invited speakers: Benno van den Berg (Amsterdam, The Netherlands) Mirai Ikebuchi (Kyoto, Japan) Zvonko Iljazović (Zagreb, Croatia) Dominik Kirst (Paris, France) ======================================================== Program Committee Matthew de Brecht (Kyoto, Japan) (Co-chair) Daniel Graça (Faro, Portugal) Takayuki Kihara (Nagoya, Japan) Maria Emilia Maietti (Padua, Italy) (Chair) Alexander Melnikov (Wellington, New Zealand) Elvira Mayordomo (Zaragoza, Spain) Norbert Müller (Trier, Germany) Sewon Park (Ljubljana, Slovenia) Arno Pauly (Swansea, UK) Monika Seisenberger (Swansea, UK) Dieter Spreen (Siegen, Germany) Organizing committee Matthew de Brecht (Kyoto, Japan) Akitoshi Kawamura (Kyoto, Japan) Holger Thies (Kyoto, Japan) Hideki Tsuiki (Kyoto, Japan) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
participants (1)
-
Maria Emilia Maietti