Events
Member of the program and organizing committee of Workshop in Doctrines and Fibrations, Padova (Italy), 24-26 may 2023.
Member of the program committee of ITACA 2022 Pisa (Italy), 21-22 december 2022
Member of the organizing committee of CCC 2022 Continuity, Computability, Constructivity. Dipartimento di Matematica "Tullio Levi-Civita", Padova (Italy), 19-23 september 2022
Organizer with T.Nemoto of the special session on "Constructive and reverse mathematics" at "Computability in Europe 2022", Swansea (UK)
Member of the organizing committee of "XXVI Incontro di Logica", Padova, Orto Botanico, 25-28 Settembre 2017
Member of the organizing committee of "Le valutazioni nazionali in Matematica", Padova, 4 aprile 2017
Le valutazioni nazionali in matematica
Dipartimento di Matematica “Tullio Levi-Civita”, 4 Aprile 20