Talks [speaker]
August 2024 Speaker at the World Congress of Philosophy 2024 at the "Sapienza" University of Rome. "Symmetries and diagrams in proof-theoretic semantics".
August 2024 Invited speaker at the 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 Speaker at the Logic Colloquium 2024 at the University of Gothenburg. "Some results in non-monotonic PTS".
June 2024 Invited speaker at the Institute of the Vienna Circle Seminar at the University of Vienna. "Sundholm's semantics: logical atavism and the nature of proofs".
June 2024 Invited speaker at the Workshop on Information-based Semantics at the Czech Academy of Sciences. "Some results in non-monotonic proof-theoretic semantics".
May 2024 Invited speaker at the DFT-CELFIS Research Seminar at the University of Bucharest. "Proof-theoretic squeezing".
May 2024 Invited speaker at the Logik Café at the University of Wien. "Some issues in proof-theoretic semantics from a historical point of view".
March 2024 Invited speaker at the 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 Invited speaker at the CISCL Seminar at the University of Siena. "The unbearable richness of proof-theoretic semantics".
December 2023 Invited speaker at the Workshop "Proof-theoretic semantics and truth" at the University of Bristol. "Inversion results for three approaches to proof-theoretic validity".
November 2023 Invited speaker at the 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 Invited speaker at the 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 Invited speaker at the 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 Invited speaker at the 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 Invited speaker at the PhD Colloquium of the Laboratoire Jean Alexandre Dieudonné at the University Côte d'Azur. "Proofs: are they objects or acts?"
January 2023 Invited speaker at the Logik Café at the University of Wien. "From normalisation to proof-theoretic semantics. A case of informal rigour?"
December 2022 "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 Invited speaker at the 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 Invited speaker at the Research School "Logic and Transdisciplinarity" at the CIRM - Aix-Marseille University. "An introduction to Prawitz's semantics"
September 2021 Invited speaker at the 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 Invited speaker at the 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) Invited Speaker at the 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 Research visit at the University of Tübingen. Contribution to Logic Colloquium "Dag Prawitz's theory of grounds: inferences and logical consequence"