Plenary Speaker in International Conferences

• Colloquium Logicum 2024, 7-9 October 2024, Vienne, Austria. 

• Rencontres doctorales Internationales en philosophie des sciences, 19-20 Septembre 2024, Lyon, France

• Logic Colloquium,  5-9 June 2023, Milan, Italy.

• WoLLIC 2022, 20-23 September 2022, Iasi, Romania.

• Advances in Modal Logic 2022, 22-25 August 2022, Rennes, France.

• SLSS2022, 17-19 June 2022, Bergen, Norway.

• Rencontres doctorales Internationales en philosophie des sciences, 19-20 May 2022, Strasbourg, France

• Proof-theoretic semantics,  27-30 March 2019, Tubingen, Germany

• UNILOG, 16-26 June 2018, Vichy, France

• PhD Logic X, 1-4 May 2018, Prague, Czech Republic

• Philosophy of mathematics: objectivity, cognition, and proof, 29-31 May 2014, Milan, Italy

• Hypothetical reasoning, 23-24 August 2014, Tubingen, Germany

Invited Presentations in Seminars and Workshops

• TBA, Jean Nicod centenary, IJN, Paris, France, 18-19 November 2024.

• TBA, Lugano Seminar, Lugano, Switzerland, 17 May 2024. 

• TBA, EUROPHIL Seminar, Bologna, Italy, 10 May 2024.

• TBA, Metaphysics and Logic Seminar Series, St. Andrews, Scotland, 10 April 2024.

• TBA, 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

Presentations (with committee)

• "Mathematical explanations: an analysis via proof and complexity," (together with F. Genco) Sixth International Meeting of the AMPM, on-line, 30 June -3 July 2021.

• "Grounding, quantifiers, and paradoxes" (together with F. Genco) , 9th Annual Conference of the Society for the Study of the History of Analytical Philosophy, on-line, 6-9 July 2021.

• "Grounding and quantifiers in the light of Bolzano's intuitions," (together with F. Genco) EPSA, Utrecht, Netherlands, 24-28 August 2020.

• "Applying proof theory to non-causal explanation: from cut-elimination to complexity," MuST Conference 11, Turin, Italy, 11-13 June 2018.

• "Hierarchy and derivability as two key ingredients of formal grounding", ITAONT Workshop, Padova, Italy, 27-29 June 2016

• "Logic of grounding: an alternative approach", RWLG Workshop, Oslo, Norway, 5-6 June, 2014

• "An alternative proof-theoretical approach to standard conditional logics", AILA conference, Pise, Italy, 16 March 2014 

• "Are the truths of modal logic analytic? Or the analyticity again through modal logic, Hintikka, Quine", SILFS Conference, Milan, Italy, 17-19 November 2012

• "On the Importance of Being Analytic", Workshops in Philosophy of Mathematics, ANR Ideals of Proofs, Paris, France, 17-19 November 2010

• "Towards a Satisfying Proof Analysis of the Logic of Proofs", LogKCA Conference, San Sebastiàn-Donosti, Spain, 3-5 November 2010

• "Analytic Logic of Proofs", LPAR 17th Conference, Analytic Proof System Workshop,Yogyakarta,Indonesia, 10-15 October 2010

• "Cut-free and Normalised Logic of Proofs", LRR10 Conference, Ghent, Belgium, 20-22 September 2010

• "Two cut-free sequent calculi for modal logic S5", Workshop and Young Researcher Days, Brussel, Belgium, 1-2 September 2008

• "The eliminability criterion for anti-realistic definitions. The case of logical rules for the necessity operator", ESAP6, Krakow, Poland, 21-26 August 2008

• "Two cut-free sequent calculi for modal logic S5", SILFS Conference, Milan, Italy, 8-10 October 2007

•   “A new definition of the Došen’s principle”, 21st International Symposium Logica,  Hejnice Monastery, Prague, Czech Republic, 18-22 June 2007

• "Ricerche in Logica Modale", XVII Convegno Nazionale dei Dottori di Ricerca in Filosofia, Reggio Emilia, Italy, 4-7 December 2006

• “A New Sequent Calculus for Modal Logic”, Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV,  Torun, Poland, 1-4 September 2006

• “Sequent Calculus for Modal Logic”, Logic Colloquium 2006, Nijmegen, the Netherlands, 27 July – 2 August, 2006

• "A Criticism of Anderson's Solution to the Knower Paradox. Towards a Provability Solution", ESAP5, Lisbon, Portugal, 27-31 August 2005