XXIX Incontro di Logica AILA 2026 (University of Roma 3)
Rome, Italy • September 2026
Talks & Presentations
Computability, Complexity, and Randomness 2026 (University of Leeds)
Leeds, United Kingdom • September 2026
Misurare la complessità in Matematica
Invited TalkBACK-AND-FORTH LECTURES - II edition
Torino, Italy • April 2026
The Borel complexity of the class of models of PA: a true-stage proof? - I & II
Contributed Talk SlidesLogic Working Group (University of Turin)
Turin, Italy • March 2026
Around the decomposability of Borel functions (short version)
Contributed TalkWinter School in Abstract Analysis 2026 - section Set Theory & Topology
Hejnice, Czech Republic • February 2026
Leeds Set Theory Seminar (University of Leeds)
Leeds, United Kingdom • January 2026
Conferences Attended
XXIX Incontro di Logica AILA 2026 link
Roma, Italy • September 15 - 18 2026
Computability, Complexity, and Randomness 2026 link
Leeds, United Kingdom • September 7 - 11 2026
Computability in Europe (CiE) 2026 - Timeless Machines / Computability Across Eras link
Trier, Germany • July 27 - July 31 2026
Workshop "Reverse Mathematics and Higher Computability Theory." - Week 2 of the ESI Thematic Programme Reverse Mathematics
Vienna, Austria • June 30 - July 4 2025