TBA, Grounds and Freedom in Logic Workshop, Universidad Computense, Madrid, Spain, 19-20 January 2026.
"Applications of conceptual explanations: Large language models and mathematics", Explaining explaining Workshop, University of Vienna, Vienna, Austria, 1-3 September 2025.
"Laying the groundwork: conceptual and formal apparatus of conceptual explanations", Explaining explaining Workshop, University of Vienna, Vienna, Austria, 1-3 September 2025.
"Conceptual explanations in logic and mathematics," Grounding and Truth-making: historical and contemporary perspectives, Central European University, Vienna, Austria, 30 June-2 July 2025.
"PhD and post-doc opportunities in France," SIFA Early Career Development (SEeD), Bologna, Italy, 19-20 June 2025.
"Revealing reasons: from philosophy to AI," Luci Seminar, Milan University, 28 May 2025.
" Explanatory Proofs: from Logics to Mathematics," Women in Logic (WIL) Seminar, Vienna Center for Logic and Algorithms, 24 January 2025.
"An Introduction to the Notions of Explanation and Grounding, and an Analysis of Their Links," ENS, Paris, France, 19 December 2024.
"Explaining with reasons: fro Aristotle to explainable AI," PLEXUS Workshop, ENS, Paris, France, 18 December 2024.
"Explanations in Logic," Workshop - Language and the cognitive niche: representation, inference, expression, University of Pisa, Pisa, Italy, 11-13 December 2024.
"Explaining with reasons: fro Aristotle to explainable AI," Jean Nicod centenary, IJN, Paris, France, 18-19 November 2024.
"Conceptual (and hence mathematical) explanations, conceptual grounding, and proof," Grounding and metaphysics workshop, Fribourg, Switzerland, 29-30 July 2024.
"A new model for mathematical explanations," Philosophy of mathematics workshop, Paris, France, 27-28 June 2024.
"Explaining with reasons: fro Aristotle to explainable AI," Lugano Seminar, Lugano, Switzerland, 17 May 2024.
TBA, EUROPHIL Seminar, Bologna, Italy, 10 May 2024.
"(Conceptual) explanations in logic,", Metaphysics and Logic Seminar Series, St. Andrews, Scotland, 10 April 2024.
"(Conceptual) explanations in logic," Logic and theory of decision seminar, MCMP, Munich, Germany, 30 November, 2023.
"Explanations in first-order logic," FINO Graduate Conference, 28-29 September 2023, Vercelli, Italy.
"New apporach to grounding and granularity," Hambourg Logical Workshop, Hambourg, Germany, 23-25 March 2023.
"Conceptual explanations and conceptual grounding: it is not complicated!" Perspectives on Logic and Philosophy Bochum Workshop, Bochum, Germany, 9-11 January 2023.
"Conceptual explanations and conceptual grounding: it is not complicated!" ExLog2022, Leuven, Belgium, 11-15 July 2022.
"A logical analysis of conceptual grounding," Logical Form Conference, Milan University, 10 June, 2022.
"A novel approach to mathematical explanations," "Workshop on mathematical explanation and understanding," Brussel, Belgium, 16 January, 2022.
"Tree-hypersequents or nested sequents: a survey", CUNY Graduate center, 8 December 2021.
"Explanatory proofs: philosophical framework, core ideas, results," St. Andrews, 29 November, 2021.
"Grounding principles for implication", LIRA seminar, 10 October 2021.
"Defining explanations in classical logic via substructural derivability"CIE Conference, Proof Theory Workshop, 5 July 2021.
"Mathematical explanations: an analysis via proofs and complexity," EXPRESS-IHPST Workshop: Proof, Truth and Communincation, 21-22 June 2021.
"Explanatory proofs: philosophical framework, core ideas, results," Louvain-la-Neuve on-line seminar, Belgium, 3 February 2021.
"Explanatory proofs: philosophical framework, core ideas, results,"Utrecht on-line seminar, Netherlands, 26 January 2021.
"Grounding principles for (relevant) implication" Workshop in honor of G. Sundholm, Paris, France, 12-14 June 2019.
"Explanations in logic and mathematics," Spiegare il mondo Workshop , Venice, Italy, 30 May 2019.
"Grounding principles for relevant implication," Explaining explanations Workshop , Louvain-la-neuve, Belgium, 6-7 May 2019.
"When grounding meets proof-theory," Non-Causal Explanation LLP Perspectives Workshop, Gand, Belgium, 8-10 May 2019.
"An introduction to grounding," Venice Weekly Seminar, Venice, Italy, 20 February, 2019.
"A proof theoretical approach to non-causal explanation: complexity as the key to directionality," EXPRESS seminar, Amsterdam, Netherlands, 20 November 2018.
"Logic of grounding, an alternative approach" VII Workshop on Philosophical Logic, Buenos-Aires, Argentina, August 1-3 2018.
"Applying proof theory to non-causal explanation: from cut-elimination to complexity," Oxford Wadham College seminar, Oxford, UK, 6 July 2018.
"Logic and philosophy of science: when proof theory met grounding," Journée d'étude à Paris 7, Paris, France, 18 June 2018.
"Developing Bolzano's insights : an alternative approach to the logic of grounding", Paris-Stockholm Workshop, ENS, Paris, France, 2-3 November 2017
"What characterises non-causal explanations? An answer through the notion of grounding", Unifying the Debate Workshop, Paris, France, 28-29 June 2017
"Bolzano, the appropriate relevant logic and grounding rules for implication", HEPI seminar, Paris, France, 16 March 2017
"Logic of grounding: an alternative approach", MMexplanation Workshop, Paris, France, 1-2 February 2017
"What is grounding?", MathObRe Seminar, Nancy, France, 7 November 2016
"Hierarchy and derivability as two key ingredients of formal grounding", Paris 1- Paris 7 Seminar, Paris, France, 17 June 2016
"Bolzano, the (appropriate) relevant logic and implication", History of grounding Workshop, Helsinki, Finland, 6-7 June 2016
"A rigorous definition of the notion of formal grounding", Scuola Normale weekly seminar, Pise, Italy, 21 April 2015
"Sul definire le prove analitiche del perché", Bologna weekly seminar, Bologna, Italy, 12 March 2015
"Sul definire le prove analitiche del perché", Analitico-sintetico: dalla filosofia alla teoria dell'informazione, Ferrara, Italy, 10 October 2014
"On defining and formalizing the notion of formal grounding", Ground and existence workshop, Geneva, Switzerland, 23-25 September 2014
"Counterfactual logics: natural deduction and sequent calculi", Phd and Post-doc seminar, Paris, France, 29 April 2014
"An alternative proof-theoretical approach to standard conditional logics", LogiCIC/LIRa seminar, Amsterdam, Netherlands, 26 March 2014
"A brief history of proof theory for modal logic", Cogito Workshop, Padua, Italy, 12 September 2013
"Are the validities of modal logic analytic? Or analyticity again through proof, information and Hintikka", Logic in Question Conference, Paris, France, 3 May 2013
"Analytic logic of proofs", IBISC Seminar, Evry, France, 28 February 2013
"Are the validities of modal logic analytic? Or analyticity again through proof, information and Hintikka", Paris-Munich workshop, Munich, Germany, 7-8 February 2013
"Are the validities of modal logic analytic? ", Florence Seminar of Logic and Philosophy of Science, Florence, Italy, 14 February 2012
"Analytic logic of proofs", Workshop on Cross Perspectives on Proof systems and their Significance, ENS, Paris, France, 3 May, 2012
"What is a good sequent calculus?", PHILMATH seminar, Paris, France, 24 January 2011
"Proof Theory for S5 and Its Extensions", IRIT-LILaC Seminar, Toulouse, France, 17 December 2010
"On the Importance of Being Analytic", Workshop on the Theory of Information, Brussels, Belgium, 18-19 November 2010
"Raisonnement Hypothétique", Three Days ANR-DFG Workshop, Berlin, Germany, 5-7 May 2010
"Cut-free and Normalised Logic of Proofs", Florence-Pisa-Siena Logic Workshop, Florence, Italy, 16 April 2010
"Cut-free and Normalised Logic of Proofs", GROLOG Colloquium, Groningen, Netherlands, 18 March 2010
"GL and S5 systems from a proof-theoretical point of view", Philosophy seminar at the CUNY Graduate Center, New York, U.S.A, 21 April 2009
"S5 and PDL systems from a proof-theoretical point of view", Oxford seminar, Oxford, England, 27-29 October 2008
"Tree-hypersequent calculi for propositional dynamic logic", Annual meeting Florence-Irvine, Florence, Italy, 18-19 September, 2008
"The tree-hypersequent method for modal propositional logic", AILA Conference, Genova, Italy, 20-23 February 2008
"The tree-hypersequent calculi for modal propositional logic", Seminar of the Research Group for Theoretical Computer Science and Logic of the University of Bern, Bern, Switzerland, 4-6 April 2007
"The tree-hypersequent calculi for modal propositional logic", Annual meeting Florence-Irvine, Irvine, Los Angeles, U.S.A, 23-24 March 2007
"The tree-hypersequent calculi for modal propositional logic", Florence Seminar, Florence, Italy, 9 March 2007
"A new sequent calculus for modal logic", Philform seminar, Paris, France, 4 April 2006
"Trois solutions au Pardadoxe du Connaissant", Cycles de Conférences de Philosophie de l'Université de Genève, Geneve, Switzerland, 11 November 2006