* = invited
July 2025 LATD 2025 at the University of Siena. "Uniform validity of atomic Kreisel-Putnam rule in monotonic proof-theoretic semantics"
May 2025* Mathematical Logic Seminar at the University of Lisbon. "Uniform validity of atomic Kreisel-Putnam rule in monotonic proof-theoretic semantics"
May 2025* PhilMatMed 2025 at the Aix-Marseille University. "Normalisation et sémantique des preuves. Vers une interpretation Hilbertienne de la proof-theoretic semantics"
April 2025* Logica Universalis Webinar. "Intensionality of consequence and identity of proofs in Prawitz's Theory of grounds"
April 2025* Seminar of the Department of Mathematics "Renato Caccioppoli" of the "Federico II" University of Naples. "Proof-theoretic semantics: approcci, completezza e problemi aperti"
February 2025* 5th Symposium on Proof-Theoretic Semantics at the Institute of Philosophy of the University of London. "From normalisation to proof-theoretic semantics: the semantic role of harmony, atomic bases and reductions"
January 2025* Logic in Bochum Colloquia at the Ruhr University of Bochum. "From normalisation to proof-theoretic semantics: the semantic role of harmony, atomic bases and reductions"
January 2025 Carl Friedrich von Weizsäcker Colloquium at the University of Tübingen. "Some ideas for a Kuhnian-Lakatosian reading of the opposition between realism and constructivism in logic and the foundations of mathematics"
December 2024* Conference "Economia, istituzione, Convenzione" at the "Sapienza" University of Rome. "Convenzionalismo, regole e significato: semantiche di Prawitz e rigore informale di Kreisel"
November 2024* Naples Seminar Series in the History of Logic at the "Federico II" University of Naples. "Atavismo logico"
September 2024 28th AILA Meeting at the University of Udine. "Some results in non-monotonic proof-theoretic semantics"
August 2024 World Congress of Philosophy 2024 at the "Sapienza" University of Rome. "Symmetries and diagrams in proof-theoretic semantics"
August 2024* 4th Symposium on Proof-Theoretic Semantics @ESSLLI 2024 at the University of Leuven. "Prawitz's theory of grounds: ideas, results and problems some 20 years later"
June 2024 Logic Colloquium 2024 at the University of Gothenburg. "Some results in non-monotonic PTS"
June 2024 Institute of the Vienna Circle Seminar at the University of Vienna. "Sundholm's semantics: logical atavism and the nature of proofs"
June 2024* Workshop on Information-based Semantics at the Czech Academy of Sciences. "Some results in non-monotonic proof-theoretic semantics"
May 2024* DFT-CELFIS Research Seminar at the University of Bucharest. "Proof-theoretic squeezing"
May 2024 Logik Café at the University of Wien. "Some issues in proof-theoretic semantics from a historical point of view"
March 2024* Project PRO3 Seminar organised by the IMT (Lucca), the IUSS University of Pavia and the Scuola Normale Superiore of Pisa. "Proof-theoretic semantics: why, when and how"
February 2024 CISCL Seminar at the University of Siena. "The unbearable richness of proof-theoretic semantics"
December 2023* Workshop "Proof-theoretic semantics and truth" at the University of Bristol. "Inversion results for three approaches to proof-theoretic validity"
November 2023* Logic Seminar of the Institute for Logic and Data Science (Romania). "Inversion results and base-completeness for two approaches to proof-theoretic validity"
September 2023* 3rd Proof-Theoretic Semantics Symposium @Tableaux 2023 at the Czech Technical University. "Proof-theoretic topics from Prawitz and Sundholm"
September 2023 SILFS Triennial Conference "Logic, philosophy of science and global challenges" at the University of Urbino. "Revolutions, paradigms and research programmes in logic: the case of the Realism vs Constructivism debate"
July 2023 CIVIS School "Meanings and understanding via proofs: logical and epistemological approaches" at the University of Bucharest. "What to prove and how to prove: two views on the distinction between proof-objects and proof-acts"
June 2023 LOGICA 2023 in Monastery of Teplá (Institute of Philosophy of the Academy of Sciences of the Czech Republic). "Revolutions, paradigms and research programmes in logic: the case of the Realism vs Constructivism debate"
June 2023 Czech Gathering of Logicians 2023 at the University of Ostrava. "Schematic validity and completeness in Prawitz's semantics"
June 2023 Seminar of the Department of Logic of the Institute of Philosophy of the Czech Academy of Sciences. "Objects, acts, traces: a comparison of Prawitz's and Sundholm's semantics"
May 2023* PhD Colloquium of the Laboratoire Jean Alexandre Dieudonné at the University Côte d'Azur. "Proofs: are they objects or acts?"
January 2023* Logik Café at the University of Wien. "From normalisation to proof-theoretic semantics. A case of informal rigour?"
December 2022 Workshop "Proofs, computation and meaning" organised by the University of Tübingen. "Valid arguments, proofs and grounds. Epistemic compulsion in Prawitz's semantics"
December 2022 (with F. Carbo-Gil) 7th Panhellenic conference on philosophy of science at the University of Athens. "Gödel's absolute notions of provability and definability: a tentative guide"
November 2022 TPS 2022: 4th International Workshop on Proof Theory at the University of Utrecht. "The proof-theoretic square"
September 2022 LOGICA 2022 in Monastery of Teplá (Institute of Philosophy of the Academy of Sciences of the Czech Republic). "Non-logical meaning and meaning of rules: a symmetry between local and logical validity in Prawitz's semantics"
September 2022 LATD + MOSAIC 2022 in Paestum (University of Salerno). "Quantificational issues in Prawitzian validity"
July 2022 (with F. Carbo-Gil) IX Congress of SoPhA at the University of Neuchâtel. "Preuves et définitions absolues chez Gödel : une carte"
June 2022* Carl Friedrich von Weizsäcker Colloquium at the University of Tübingen. "The proof-theoretic square"
June 2022 5th SILFS Postgraduate conference on logic and philosophy of science at the "Bicocca" University of Milan. "Schematic Prawitzian validity and Prawitz's conjecture"
February 2022 Research School "Logic and Transdisciplinarity" at the CIRM - Aix-Marseille University. "An introduction to Prawitz's semantics"
September 2021* Autumn School "Proof and Computation". "Epistemic grounding. Semantics and calculi based on Prawitz's theory of grounds"
June 2021 8th STS Italia Conference. "La controversia sulla Lehre di Semmelweis"
May 2021* Carl Friedrich von Weizsäcker Colloquium at the University of Tübingen. "Kreisel's informal rigour and Gödel's absolute provability. A tentative reading through and for Prawitz's semantics"
November 2020 (with D. Catta) 12th French PhilMat Workshop at the University of Lorraine (Nancy). "Informal and absolute provability: from Kreisel and Gödel to Prawitz and Girard"
August 2020 (with D. Catta) Tenth European Conference of Analytic Philosophy, organised by the University of Utrecht. "Informal and absolute provability: from Kreisel and Gödel to Prawitz and Girard"
August 2019 16th International Congress of Logic, Methodology and Philosophy of Science and Technology at the University of Prague. "A class of languages for Prawitz's epistemic grounding"
May/June 2018* (with D. Catta) PhilMatMED "Philosophie, histoire et didactique des mathématiques en Méditerranée: logique, langages, preuves" at the University of Montpellier. "Game of grounds"
May 2018 (with D. Catta) FilMat Workshop 2018 "Philosophy of mathematics: objects, structures, and logics" in Mussumeli (University of Palermo). "Grounds in Ludics"
August 2017 Ninth European Conference of Analytic Philosophy at the University of Munich. "Even Dag Prawitz turned to grounds. But why?"
November 2016 Eighth French Philosophy of Mathematics Workshop at the Aix-Marseille University. "A case of BHK-decidability. Dag Prawitz's proof- and ground-theoretic semantics"
May 2016 AISC Mid-Term 2016 Conference at the "Federico II" University of Naples. "Riconoscibilità nelle semantiche di Dag Prawitz"
March 2016 Second International Conference "Philosophy of Science between the Natural Sciences, the Social Sciences and the Humanities" by the Gesellschaft für Wissenschaftsphilosophie at the University of Düsseldorf. "Recognition procedures and Dag Prawitz's theory of grounds"
January 2016 Workshop "How to say yes and no. Logical approaches to modes of assertion and denial" at the University of Salento (Lecce). "Recognition procedures and Dag Prawitz's theory of grounds"
June 2015 2015 Congress of SoPhA at the University of Montreal. "Evidence and proofs in Dag Prawitz's theory of grounds"
April 2015 Second Belgrade Graduate Conference in Philosophy and Logic at the University of Belgrade. "From proofs to grounds. Topics in latest Dag Prawitz's semantics"
August/September 2014 Eight European Conference of Analytic Philosophy at the University of Bucharest. "Dag Prawitz's theory of grounds: inferences and logical consequence"
July 2014 Logic Colloquium at the University of Tübingen. "Dag Prawitz's theory of grounds: inferences and logical consequence"