A Calculus for Relatedness and Possibility that Provides an Account of Implication & Some Remarks on the Normalisation of Weak Normal Modal Logics (F.A. Genco & A. Iacona). Given at the LLC Logic Seminar, 18 February 2026, University Turin, Turin, Italy.
Reasons and grounds: A proof-theoretical investigation (F.A. Genco & A. Iacona). Given at the XVI SIFA conference - Minds and Worlds, 27–29 August 2025, University Turin, Turin, Italy.
A Logical Theory of Computational Trustworthiness in a Calculus with Dependent Types. Given at the LLC Logic Seminar, 22 October 2024, University Turin, Turin, Italy.
Fiducia, affidabilità. una questione filosofica e tecnologica (Trust, reliability. A philosophical and technological question). Given at the XV Convegno di Informatica giuridica del Collegio Ghislieri (15th confer- ence on law and computer science of the Ghislieri College), 25 November 2023, Collegio Ghislieri, Pavia, Italy.
Testing & Trusting: A Typed Calculus for Reasoning about Probabilistic Processes. The Eleventh Workshop on Combining Probability and Logic (PROGIC 2023), 30 august – 1 September 2023, Utrecht, the Netherlands.
Probabilistic Computation & Trust through the Lens of Typed λ-Calculus. Logic Colloquium 2023, 5–9 June 2023, Milano, Italy.
Normalisation: Origins, Application, and Techniques. Lecture series Outils logiques, mathématiques et informatiques pour philosophes. IHPST, Paris 1 Panthéon-Sorbonne University and CNRS, France, 6 May 2022.
Formal Explanations, Grounding, and Logical Proofs. PhilMath seminar. IHPST, Paris 1 Panthéon-Sorbonne University and CNRS, France, 17 January 2022.
The Grounds of Quantified Sentences: A Bolzanian Solution to the Paradoxes of Grounding. Explanatory Inference Seminar. UCLouvain, Louvain-la-Neuve, 3 December 2021.
Grounding, Quantifiers, and Paradoxes. EXPRESS / IHPST Workshop - Truth, Proof and Communication, 21–22 June 2021.
Formal Explanation, Classical Logic, and Intuitionistic Logic. LOGICA 2021, Hejnice monastery, 28 September 2021.
A Solution to the Paradoxes fo Grounding Inspired by Bolzano. Annual meeting of the Society for the study of the history of analytic philosophy (SSHAP), University of Vienna, 14-16 July 2021.
Grounding, Quantifiers, and Paradoxes. PHILMATH/EXPRESS seminar, Paris 1 University and University of Amsterdam, 21 June 2021.
Logiche Intermedie, Dimostrazioni e Lambda-Calcoli Concorrenti. (Intermediate Logics, Proofs, and Concurrent Lambda-Calculi.) Seminario di logica, University of Bologna, 10 June 2021.
A Solution to the Paradoxes of Grounding Inspired by Bolzano. ECAP 10, 24 August 2020, Utrecht University.
A Parallel Computational Interpretation of Multiplicative Classical Linear Logic. Seminar of the Partout team, 4 May 2020, LIX, INRIA Saclay, Palaiseau, France.
La spiegazione formale e le sue fondazioni (Formal Explanation and its Foundations). Ecosofia seminar (Ubi minor), 21 January 2019, Università di Bologna, Bologna, Italy.
Proofs-as-programs correspondences: constructivity and non-constructivity, determinism and non-determinism. Séminaire d'Histoire et Philosophie de l'Informatique et du Calcul (HEPIC), 29 January 2020, IHPST, Paris 1 Panthéon-Sorbonne, Paris, France.
Intermediate logic proofs as concurrent programs. Syntax meets Semantics (SYSMICS) 2019, 21 January 2019, University of Amsterdam, Amsterdam, Netherlands.
Intermediate logic proofs as concurrent programs. The Fine Structure of Formal Proof Systems and their Computational Interpretations (3rd FISP Meeting), 7 December 2018, TU Wien, Vienna, Austria.
Typing parallelism and communication through hypersequents. Groupe de travail «Réalisabilité et théorie des types», 6 December 2017, IRIF laboratory, Université Paris Diderot, Paris, France.
From hypersequents to parallel computation via systems of rules. Parsifal Seminar, 29 November 2017, Parsifal group, Laboratoire d’Informatique (LIX), Inria Saclay – Île-de-France, France.
Gödel logic: from natural deduction to parallel computation. LICS 2017, 21 June 2017, Reykjavik, Iceland.
From hypersequents to parallel computation: Gödel logic and beyond. FISP Workshop, 8 June 2017, Paris, France.
From hypersequents to parallel processes. Melbourne Logic Seminar, 24 February 2017, University of Melbourne, Australia.
Hypersequents, systems of rules and parallel computation. 8 February 2017, Australian National University, Canberra, Australia.
Hypersequents and systems of rules: an embedding. Syntax Meets Semantics 2016, 7 September 2016, University of Barcelona, Spain.
Embedding formalisms: hypersequents and two-level systems of rules. Advances in Modal Logic 2016, 2 September 2016, Budapest, Hungary.
Hypersequents and systems of rules: an embedding. 3rd Postgraduate Conference SILFS, 30 May 2016, University of Urbino, Italy.
Mīmāṃsā Deontic Logic. Tableaux 2015, 22 September 2015, University of Wrocƚaw, Poland.
Mīmāṃsā Deontic Logic: proof theory and applications. CLMPS 2015, 7 August 2015, University of Helsinki, Finland.