Events
2026
▪ Perspectives on Research in Logic. SNS, 18-20 June.
▪ Proof, Argumentation, Computation, Modalities And Negation (PACM∧N). Verona, 10–12 June.
▪ Chapman-- SNS Workshop in Logic and Philosophy of Mathematics. Chapman University, 15-16 April.
▪ Workshop "Logic and Bounded Rationality". LUCI Lab Department of Philosophy – University of Milan, 25-27 February.
▪ Workshop “Abstraction, Structures and Proofs”. Department of Philosophy – University of Vienna, 9-11 February.
▪ Prospettive sulla matematica: dalla filosofia all’informatica. PRIMI– University of Udine, 8-9 January.
Past events
2025
▪ Logic, Categories and Decision-making: algebraic and proof-theoretic methods. VU Amsterdam, 8-13 December.
2024
▪ First SNS-KLC Logic and Philosophy of Mathematics Meeting. 12-13 June, SNS, PIsa
▪ La filosofia della matematica del Novecento. Accademia Nazionale dei Lincei. 4-5 April.
▪ Presentazione delle Ricerche aritmetiche di C.F Gauss. Accademia Nazionale dei Lincei. 7 March.
▪ World Logic Day 2024. 15 January 2024.
▪ Riflessioni sulla logica a partire da un dipinto allegorico seicentesco. «Lectio brevis», Accademia Nazionale dei Lincei, 12 January.
2023
▪ Workhop "Reasoning with imperfect information in social settings". 26-28 October, SNS, Pisa.
▪ Educare alla razionalità. In ricordo di Ettore Casari. 19-20 October, SNS, Pisa.
2022
▪ Logic and philosophy of mathematics. SNS Workshop. Scuola Normale Superiore di Pisa, 16-17 September
2021
▪ Accademia Nazionale dei Lincei. Centro Linceo Interdisciplinare "Beniamino Segre". Sui limiti del calcolabile: informazione, conoscenza, natura umana. 13 April 2021.
2019
▪ Scuola Estiva di Logica. Palazzo Feltrinelli, Gargnano, 25-31 August.
▪ 1st SNS Pisa-MCMP-Meeting. Munich Center for Mathematical Philosophy (MCMP), Munich, 27 May
▪ Logic, Ethics and Modalities. A conference in honor of Massimo Mugnai. Scuola Normale, Pisa, 21 May.
▪ Talk at Dept. of Philosophy of University of Florence, 8 March.
▪ Proof-Theoretic Semantics. Assessment and Future Perspectives. Third Tübingen Conference on Proof-Theoretic Semantics, 27-30 March.