Slides from talks
Proof-theoretic semantics: why, when and how? - Project PRO3 Seminar organised by IMT Lucca, IUSS Pavia and Scuola Normal Superiore of Pisa, available here
Inversion results for three approaches to proof-theoretic validity - Workshop on "Proof-theoretic semantics and truth" organised by the University of Bristol, available here
Revolutions, paradigms and research programme in logic: the case of the Realism vs Constructivism debate - Logica 2023 organised by the Institute of Philosophy of the Czech Academy of Sciences, available here
Objects, acts and traces: a comparison of Prawitz's and Sundholm's semantics - Institute of Philosophy, Czech Academy of Sciences, available here
Non-logical meaning and meaning of rules: a symmetry between local and logical validity in Prawitz's semantics - LOGICA 2022 organised by the Institute of Philosophy of the Czech Academy of Sciences, available here
Quantificational issues in Prawitzian validity - LATD + MOSAIC Conferences in Paestum, organised by the University of Salerno, September 2022, available here
(with F. Carbo-Gil) Preuves et définitions absolues chez Gödel : une carte - IX Congress of SoPhA at the University of Neuchâtel, July 2022, available here
The proof-theoretic square - Carl Friedrich von Weizsäcker Zentrum Colloquium at the University of Tübingen, June 2022, available here
Kreisel's informal rigour and Gödel's absolute provability. A tentative reading through and for Prawitz's semantics - Carl Friedrich von Weizsäcker Zentrum Colloquium at the University of Tübingen, May 2021, available here
(with D. Catta) Informal and absolute provability: from Kreisel and Gödel to Prawitz and Girard - 12th French PhilMat Workshop at the University of Lorraine (Nancy), November 2020, available here
(with D. Catta) Grounds in Ludics - FilMat Workshop 2018 "Philosophy of mathematics: objects, structures, and logics" in Mussumeli (organised by the University of Palermo), May 2018, available here