TALKS & SEMINARS


      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
      • 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 syntaxLogik 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
      Popularization talks

      1. Di che cosa parla la matematica? - Caffè filosofico di Crema, 11/11/2019
      2. Un intenso training di logica per i test di ammissione - Lezione-incontro- Liceo Scientifico "J.da Ponte"- Bassano del Grappa (VI), 30/05/2019
      3. 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.
      4. Alla ricerca della democrazia. Matematica ed elezioni. Conferenza Mathesis Vicenza,Villa Ghellini, Villaverla (Italy), 19/04/2017
      5. La migliore ricerca applicata è la ricerca di base. Un esempio paradigmatico. Veneto research night, Padova (Italy), 25/09/2015
      6. 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
      7. Tutto il resto. Inchiesta sull'infinito. Incontri di Primavera Mathesis Vicentina, Vicenza (Italy), 13/02/2015