Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni. On Monadic Intersection Types. ESOP 2024
Francesco Gavazzo. Allegories of Symbolic Manipulations. LICS 2023
Francesco Gavazzo, Cecilia Di Florio. Elements of Quantitative Rewriting. POPL 2023
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen. Open Higher-Order Logic. CSL 2023
Francesco Dagnino, Francesco Gavazzo. A Fibrational Tale of Operational Logical Relations. FSCD 2022
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo. On Feller Continuity and Full Abstraction. ICFP 2022
Ugo Dal Lago, Francesco Gavazzo. A Relational Theory of Effects and Coeffects. POPL 2022 [link]
Ugo Dal Lago, Francesco Gavazzo. Effectful Program Distancing. POPL 2022 [link]
Ugo Dal Lago, Francesco Gavazzo. Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems. FSCD 2021 . [Local draft]
Francesco Gavazzo, Claudia Faggian. A Relational Theory of Monadic Rewriting, Part I. LICS 2021 [Local draft]
Ugo Dal Lago, Francesco Gavazzo. Differential Logical Relations, part II. Increments and Derivative. Theoretical Computer Science (TCS) 2021
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo. On the Versatility of Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem. ESOP 2020 [Extended version]
Ugo Dal Lago, Francesco Gavazzo. Differential Logical Relations. Part II: Increments and Recursion. ICTCS 2020
Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka. Effectful applicative similarity for call-by-name lambda calculi. Theoretical Computer Science (TCS) 2020
Ugo Dal Lago, Francesco Gavazzo and Akira Yoshimizu. Differential Logical Relations. Part I: The Simply-Typed Case. ICALP 2019 [Extended version]
Ugo Dal Lago, Francesco Gavazzo. Effectful Normal Form Bisimulation. ESOP 2019
Francesco Gavazzo. Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. LICS 2018 [Extended version].
Ugo Dal Lago, Francesco Gavazzo, and Paul Levy. Effectful applicative bisimilarity: Monads, relators, and Howe’s method. LICS 2017 [Extended version].
Ugo Dal Lago, Francesco Gavazzo and Ryo Tanaka. Effectful Applicative Similarity for Call-by-Name Lambda Calculi. ICTCS 2017
Francesco Gavazzo. A. Artosi, L’esperienza come sistema. Leibniz, Kant e l’architettonica della ragione. Verifiche Anno XLI, N.4, 2012
Francesco Gavazzo. Relational Dynamics of Symbolic Expressions
Francesco Gavazzo. The Troublesome Modular Law
Gilles Barthe, Raphaëlle Crubillé, Francesco Gavazzo. The Dynamic Logic of Effectful Programs
Ugo Dal Lago, Francesco Gavazzo. Modal Reasoning = Metric Reasoning, via Lawvere (Arxiv)
Francesco Gavazzo, Cecilia Di Florio. Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems (Arxiv)
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen. On Reinforcement Learning, Effect Handlers, and the State Monad (Arxiv)
Francesco Gavazzo. Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects. [link] Alma Mater Studiorum Università di Bologna. PhD Programme in Computer science and engineering, XXXI Ciclo. Best Italian PhD Thesis in Theoretical Computer Science
23/02/2024 Relational Mechanics of Program Semantics, local seminar (slides)
08/01/2024 Relational Mechanics of the λ-Calculus, Directions and Perspectives on the λ-Calculus (slides)
16/11/2023 La Logica Dell'Incorrettezza, Accademia delle Scienze dell'Istituto di Bologna
23/02/2022 Computational Effects from a Relational Angle, PPS Seminar
10/02/2023 Allegories of Symbolic Manipulations, POPV Seminar, Boston University
13/07/2022 Relational Theories of Higher-Order Languages: Pure, Effectful, and Coeffectful, MFPS XXXVIII (MFPS 2022) (Video)
02/12/2021 A Relational Theory of Effects and Coeffects, ChHoCoLa Meetings, ENS Lyon
19/05/2021 On Monadic Rewriting Systems, Proofs and Algorithms seminar
02/04/2021 Coinductive Equivalences for Higher-order Coeffectful Languages, Augusta CS Colloquim (Video)
25/11/2020 Modal Reasoning = Metric Reasoning, via Lawvere, YR-OWLS (Slides) (Video)
15/10/2020 The New Life of the Calculus of Relations, DIAPASoN Local Seminar, University of Bologna (Slides)
28/07/2020 An Operational Analysis of Algebraic Effects , University of Bath 2020 (Slides)
05/05/2020 Operational Reasoning for Modal Types: Effects and Coeffects. LFCS Seminars, Edinburgh 2020 (Slides) (Video)
14/11/2019 Differential Logical Relations. "CHoCoLa" Meetings, Lyon 2019
09/09/2019 Coinductive Techniques for Higher-order Languages with Algebraic Effect ICTCS, Como 2019
Elements of Quantitative Rewriting. POPL Online talk, 19 January 19, 2023 (video)
A Relational Theory of Effects and Coeffects. POPL Online talk, 16 January, 2022 (video)
Effectful Program Distancing. POPL. Online talk, 16 January, 2022 (video)
Computational and Contextual Program Differences: Reasoning About Non-equivalent Effectful Programs in a Higher-Order Scenario. HOPE 2021 - ICFP 2021, 22 August 2021 (video)
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. FSCD, 20 July 2021 (video)
A Relational Theory of Monadic Rewriting Systems, Part I. LICS, 2 July 2021 (video)
On the Versatility of Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem. ESOP, 1 April 2021 (video)
A Relational Theory of Monadic Rewriting Systems. PIHOC Workshop, Virtual 2021 (Slides)
Differential Logical Relations. Joint PPS-PIHOC-DAPASoN Workshop, Paris 2020 (Slides).
Differential Logical Relations, Part I: The Simply-Typed Case. ICALP, Patras 2019.
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice. MFPS, London 2019.
Effectful Normal Form Bisimulation. ESOP 2019.
Towards Coinductive Techniques for Probabilistic Programming Languages. ANR REPAS meeting, Lyon 2019.
An Abstract Account of Normal Form Bisimulation: from Algebraic Effects to Probabilistic Programming. PIHOC, Bologna 2019.
Quantitative Behavioural Reasoning for Higher-order Effectful Programs. ANR REPAS meeting 2018.
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. LICS 2018.
Towards Programming Languages for Machine Learning, Focus Meeting, 2018.
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances, PIHOC, 2018.
Effectful Applicative Similarity for Call-by-Name Lambda Calculi, ICTCS 2017.
Effectful applicative bisimilarity: Monads, relators, and Howe’s method, LICS 2017.
An Abstract Account to Applicative Bisimulation Metrics, REPAS workshop, Ljubljana 2017.
Bisimulations for Algebraic Effects, second meeting of the CRECOGI Associated Team, August 2016.
Weak Bisimulation and Causality, MIUR PRIN CINA final meeting, January, 2016.
On Identity of Proofs, TU Delft Applied Logic Seminar, April, 2014.