Main talks
- The Minimalist Foundation and Axiomatic Set Theories. HoTT Seminar. CMU Pittsburgh (USA), 04/03/2020
- Computable models of constructive foundations. Department Colloquium. Cincinnati (USA), 20/02/2020
- Remarks on doctrines based on partial applicative structures. ITACA. Milano (Italy), 19/12/2019
- A constructive predicative realizability topos for inductively generated formal topologies. CCC 2019. Ljublijana (Slovenia), 02/09/2019
- Emancipare la “dimostrazione" dalla geometria euclidea. Proposte didattiche. XLVIII seminario del Centro Morin. Paderno del Grappa (Italy), 20/08/2019
- Factorizing the Top-Loc adjunction through positive topologies. 6th Workshop on Formal Topology, Birmingham (UK), 09/04/2019, j.w.w. Francesco Ciraulo and Tatsuji Kawai.
- A categorical look at Bishop’s sets with inequality and complemented subsets. Miniworkshop. Christchurch (New Zealand), 04/03/2019
- A Kleene realizability interpretation in ID1 of the Minimalist Foundation with the point-free topology of real numbers. CCC 2018, Faro (Portugal), 26/09/2018
- Two constructive approaches to probability theory. Workshop on Constructive Mathematics, HIM Trimester on Types, Sets and Constructions, Bonn (Germany), 10/08/2018
- Two relevant doctrines for constructive topology. Logic Colloquium 2018, Udine (Italy), 26/07/2018, j.w.w. Francesco Ciraulo and Tatsuji Kawai.
- A categorical reading of the numerical existence property in constructive foundations. Filmat conference on Philosophy of mathematics: objects, structures, and logics, Mussomeli (Italy), 27/05/2018
- A variety of realizability models for the Minimalist Foundation. Mini workshop in Logic and its Applications, JAIST, Nomi(Japan), 20/03/2018
- A predicative variant of the Effective Topos. Second Workshop in Mathematical Logic and its applications, Kanazawa (Japan), 06/03/2018
- Consistency of the intensional level of the Minimalist Foundation with Church's Thesis and Axiom of Choice. First Swiss-Italian workshop on Proof and Computation, Verona (Italy), 18/01/2018
- Curiosità, sfida e cooperazione. Le gare matematiche. Seminario Nazionale del Centro Morin, Paderno del Grappa (Italy), 22/08/2017
- A stratified pointfree definition of probability via constructive natural density. CCC 2017, Nancy (France), 30/06/2017
- Topology as faithful communication through relations. Topology, algebra and categories in logic 2017, Praga (Czech Republic), 27/06/2017
- A strictly predicative variant of Hyland's effective topos. PSSL 100, Cambridge (UK), 21/05/2016
- A variety of effective models for the Minimalist Foundation. M4C, Niederalteich (Germany), 11/05/2016
- Realizability models for the Minimalist Foundation. HoTT seminar, Pittsburgh (USA), 11/03/2016
- A strictly predicative version of Hyland's effective topos. Workshop in categorical logic, Stockholm (Sweden), 04/12/2015
- Una variante predicativa del Topos Effettivo. Congresso UMI, Siena (Italy), 07/09/2015
- A categorical structure of realizers for the Minimalist Foundation. TACL 2015, Ischia (Italy), 21/06/2015
- Consistency of the Minimalist Foundation with Church Thesis. Constructivism and Computability, Kanazawa (Japan), 03/03/2015
- Models of IZF in subtoposes of nested realizability toposes. PSSL 96, Palermo (Italy), 11/10/2014
- Models of intuitionistic set theory in subtoposes of nested realizability toposes, CT 2014, Cambridge (UK), 05/07/2014
- A Kleene realizability semantics for the Minimalist Foundation. TYPES 2014, Paris (France), 12/05/2014
- A Kleene realizability model for the Minimalist Foundation. Incontro di Logica AILA, Pisa (Italy), 16/04/2014
- Qual è la vera categoria degli insiemi? Filosofia della Matematica. Dalla Logica alla Pratica, Pisa (Italy), 26/09/2012
- Initial algebras and internal syntax. Logik seminar, Darmstadt (Germany), 20/04/2012
- Syntactic categories, free algebras and Peano arithmetic. PhDs in logic IV, Gent (Belgium), 13/04/2012
Other talks and seminars
- Categories with an internal copy. Seminario di Logica. Padova (Italy), 25/11/2019
- Some remarks on abstract structures of propositions and realizers. Seminario di Logica. Padova (Italy), 06/11/2019
- Factorizing the Top-Loc adjunction through positive topologies. Seminario di Logica, Padova (Italy), 04/02/2019
- L'assioma della scelta, l'ipotesi del continuo e il loro impatto sull'analisi reale. Lezione/seminario per il corso di Metodo Assiomatico e Teoria degli Insiemi, Padova, 27/04/2018
- Informal seminar on topology and communication. Seminario di Logica, Padova (Italy), 02/08/2017
- A stratified pointfree definition of probability via natural density. Logic seminar, Padova (Italy), 23/06/2017
- Intrecci tra teoria della misura e teoria degli insiemi. Lezione/seminario per il corso di Metodi Assiomatici e Teoria degli Insiemi, Padova, 20/04/2017
- Topology as faithful communication through relations. Seminario di Logica, Padova (Italy), 04/11/2016
- Effective algebraic set theory. Seminario di Logica, Padova (Italy), 25/11/2015
- Realizability for the Minimalist Foundation. Seminario settentrionale di logica, Verona (Italy), 14/10/2015
- A realizability model à la Kleene for the Minimalist Foundation. Seminario di Logica, Padova (Italy), 07/01/2014
- The common core: inside BHK. SeLP seminar, Genova (Italy), 29/11/2013
- CZF and type theory. Seminario di Logica, Padova (Italy), 09/05/2013
- Realizzabilità modificata e teoria algebrica degli insiemi. Seminario di Logica, Padova (Italy), 15/01/2013
- Aspects of internal set theory. Difesa di dottorato, Pavia (Italy), 20/12/2012
- Aspetti della teoria interna degli insiemi. Seminario di dottorato, Pavia (Italy), 26/10/2012
- Indeterminacy and multiple foundation. Reading group in Philosophy of Mathematics SeLP/Cogito, Milano (Italy), 11/06/2012
- From tripos to sets. SeLP seminar, Pisa (Italy), 02/12/2011
- Teoria della misura e teoria degli insiemi,SeLP seminar, Siena (Italy), 25/03/2011
- Analisi categoriale dei teoremi di incompletezza dell'aritmetica. Seminario di dottorato, Pavia (Italy), 21/10/2010
- Algebre di Lewis, insiemi valutati e MZF. Seminario, Genova (Italy), 06/10/2010
- Un'introduzione alle categorie e ai topos. SeLP seminar, Bologna (Italy), 01/10/2010
Popularization talks
- Di che cosa parla la matematica? - Caffè filosofico di Crema, 11/11/2019
- Un intenso training di logica per i test di ammissione - Lezione-incontro- Liceo Scientifico "J.da Ponte"- Bassano del Grappa (VI), 30/05/2019
- Le regole del gioco. Esiste una democrazia perfetta? Lezione-incontro su "Cittadinanza e Costituzione" - Liceo Scientifico "J.da Ponte"-Bassano del Grappa (VI), 03/04/2019.
- Alla ricerca della democrazia. Matematica ed elezioni. Conferenza Mathesis Vicenza,Villa Ghellini, Villaverla (Italy), 19/04/2017
- La migliore ricerca applicata è la ricerca di base. Un esempio paradigmatico. Veneto research night, Padova (Italy), 25/09/2015
- Dall'"essere grandi che più grandi non si può" al "far di necessità virtù". Il curioso mondo delle dimostrazioni ontologiche dell'esistenza di Dio. Caffè filosofico, Crema (Italy), 14/09/2015
- Tutto il resto. Inchiesta sull'infinito. Incontri di Primavera Mathesis Vicentina, Vicenza (Italy), 13/02/2015