Talks
Ai confini tra numeri e insiemi. Seminario Mathesis Patavina, Padova, 8/3/2024
On some categorical structures arising from implicative algebras. ITACA. Torino, 18/12/2023
Implicative models of set theory. Seminario di Logica. Verona, 26/10/2023
Fibred sets within a predicative and constructive variant of Hyland's effective topos. CCC 2023, 25/09/2023 online, Kyoto (Japan)
A constructive predicative variant of Hyland’s effective topos. XII Congresso UMI, 08/09/2023
Una prospettiva didattica sui modelli matematici nelle scienze sociali. Seminario del Centro Morin, Paderno del Grappa (Italy), online 24/08/2023
Implicative models of set theory. MFPS, 23/06/2023 online, Bloomington (USA)
Implicative algebras, categories of assemblies and intuitionistic set theory. Logic Working Group, 26/05/2023, online
Implicative algebras, supercompactness and assemblies. Type Theory, Constructive Mathematics and Geometric Logic. CIRM, Marseille (France), 04/05/2023
Implicative models for set theory. Logic Seminar. Padova, 26/01/2023.
Universi possibili. Seminario Mathesis Patavina. Padova, 20/01/2023. video
A minimalist approach to foundations of (constructive) mathematics. FilMat Conference. Pavia, 29 settembre 2022.
Posetal partial applicative structures. Incontro di Logica AILA, Caserta, 15 settembre 2022.
Evoluzioni sul trapezio. Dialogo sulla sua natura e importanza. Seminario del Centro Morin, 24 agosto 2022 con F. Ciraulo.
On the consistency of the Minimalist Foundation with Formal Church's Thesis. Computability in Europe 2021, (virtually) Gent, 08/07/2021
Extending the extensional level of the Minimalist Foundation to axiomatic set theories. CCC 2020. (virtually) Faro (Portugal), 30/08/2020
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
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
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
A categorical look at Bishop’s sets with inequality and complemented subsets. Miniworkshop. Christchurch (New Zealand), 04/03/2019
Factorizing the Top-Loc adjunction through positive topologies. Seminario di Logica, Padova (Italy), 04/02/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
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
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
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
Informal seminar on topology and communication. Seminario di Logica, Padova (Italy), 02/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 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
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
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
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
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
Qual è la vera categoria degli insiemi? Filosofia della Matematica. Dalla Logica alla Pratica, Pisa (Italy), 26/09/2012
Indeterminacy and multiple foundation. Reading group in Philosophy of Mathematics SeLP/Cogito, Milano (Italy), 11/06/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
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