## Talks

List of my talks, chronologically. Most feature slides.

## 2022

- Verification of (probabilistic) functional programs
- Seminar at the MTV team of LaBRI, Feb 14, 2022.

## 2021

- Systèmes de preuve pour les logiques de "Bringing-it-About"
- Online seminar at JIAF, July 2, 2021.

## 2020

- Verification of (probabilistic) functional programs
- Online seminar at PPS, April 9, 2020.
- Vérification des programmes (probabilistes) d'ordre supérieur
- Visite du COS, Marseilles, March 12, 2020.

## 2019

- Introduction to higher-order model-checking
- Seminar at the LDP team, Marseilles, June 20, 2019.
- Verification of (probabilistic) functional programs
- Seminar at the MABIOS team, Marseilles, June 3, 2019.
- Introduction to higher-order model-checking
- Seminar at the LIRICA team, Marseilles, May 20, 2019.

## 2018

- When type theory meets model-checking
- Invited seminar at the "Pôle Calcul" of the LIS, Marseilles, Feb 15, 2018.

## 2017

- Linearity in Higher-Order Recursion Schemes
- Seminar talk of the PPS team, Paris, Dec 7, 2017.
- Vérification des programmes d’ordre supérieur
- Visit of the ENS Paris-Saclay students, Marseilles, Nov 23, 2017.
- Termination of higher-order probabilistic programs
- Seminar talk of the LIRICA team, Marseilles, Nov 6, 2017.
- Linearity in Higher-Order Recursion Schemes
- Talk at the Second General Meeting of the GDRI Logique Linéaire, Roma, Oct 23, 2017.
- Two Type-Theoretic Approaches to Probabilistic Termination
- Seminar talk of the LDP team, Marseilles, Sep 21, 2017.
- Verifying properties of functional programs using modal extensions of linear logic
- Seminar talk of the LIRICA team, Marseilles, June 12, 2017.
- Verifying properties of functional programs: from the deterministic to the probabilistic case
- Seminar talk at Laboratoire d'Informatique du Parallélisme, Lyon, May 12, 2017.
- Probabilistic Termination by Monadic Affine Sized Typing
- Contributed talk at ESOP 2017, Uppsala, April 25, 2017.
- Two Type-Theoretic Approaches to Probabilistic Termination
- Contributed talk at DICE-FOPARA 2017, Uppsala, April 23, 2017.
- Termination of higher-order probabilistic programs
- Seminar talk at the AmacC team of the GREYC, Caen, April 4, 2017.
- Verifying properties of functional programs: from the deterministic to the probabilistic case
- Seminar talk at Equipe PPS, IRIF, Paris, March 16, 2017.
- Verifying properties of functional programs: from the deterministic to the probabilistic case
- Seminar talk at Laboratoire d'Informatique Gaspard-Monge, Champs sur Marne, March 14, 2017.
- Verifying properties of functional programs: from the deterministic to the probabilistic case
- Seminar talk at the Méthodes Formelles team of LaBRI, Bordeaux, March 7, 2017.
- On the coinductive nature of centralizers
- Seminar talk at LIFO, Orléans, Jan 16, 2017.

## 2016

- Probabilistic Termination by Monadic Affine Sized Typing
- Contributed talk at Journées Nationales Géocal – LAC 2016, Paris, Nov 28, 2016.
- Semantics of linear logic and higher-order model-checking
- Contributed talk at the Linear Logic 2016 meeting, Lyon, Nov 9, 2016.
- Probabilistic Termination by Monadic Affine Sized Typing
- Contributed talk at the meeting of the ANR project ELICA, Bologna, Oct 6, 2016.
- Probabilistic extension of higher-order model-checking
- Contributed talk at the thematic month Automata, Logic and Games, Institute for Mathematical Sciences, Singapore, Sep 22, 2016.
- Probabilistic extension of higher-order model-checking
- Contributed talk at the thematic month Automata, Logic and Games, Institute for Mathematical Sciences, Singapore, Sep 9, 2016.
- Distribution Types: A Type-Theoretic Approach To Almost Sure Termination
- Contributed talk at the thematic month Automata, Logic and Games, Institute for Mathematical Sciences, Singapore, Sep 9, 2016.
- First steps towards probabilistic higher-order model-checking
- Seminar of the FOCUS team (INRIA & University of Bologna), July 6, 2016.
- First steps towards probabilistic higher-order model-checking
- Contributed talk at the workshop on intersection types of the GDRI-LL, Paris, June 14, 2016.
- Semantics of linear logic and higher-order model-checking
- Thesis defense, Paris, April 8, 2016.
- Semantics of linear logic and model-checking
- Contributed talk at the NII Shonan meeting on HOMC, Tokyo, March 14, 2016.
- Semantics of linear logic and model-checking
- Contributed talk at the first general meeting of the GDRI-LL, Bologna, Feb 2, 2016.
- Semantics of linear logic and model-checking
- Seminar of the FOCUS team (INRIA & University of Bologna), Jan 20, 2016.

## 2015

- A semantic study of higher-order model-checking
- Seminar at the University of Aarhus, Nov 2, 2015.
- Linear logic, duality, and higher-order model-checking
- Invited talk at the Scottish Programming Languages Seminar, Edinburgh, October 21, 2015.
- A semantic study of higher-order model-checking
- Contributed talk at the Journées Nationales GEOCAL-LAC-LTP 2015, Nancy, October 14, 2015.
- Coinductive semantics of linear logic and higher-order model-checking
- Invited talk at the Scottish Theorem Proving seminar, Dundee, October 7, 2015.
- Relational semantics of linear logic and higher-order model-checking
- Contributed talk at the conference CSL, Berlin, September 8, 2015.
- A semantic study of higher-order model-checking
- Seminar talk at GdT Sémantique et Vérification, Université Paris 7, September 3, 2015.
- Finitary semantics of linear logic and higher-order model-checking
- Contributed talk at the conference MFCS 40, Milano, August 28, 2015.
- A semantic study of higher-order model-checking
- Seminar talk at University of Dundee, Scotland, August 21, 2015.
- On the coinductive nature of centralizers
- Talk at the PhD student seminar of LIAFA and PPS, July 1, 2015.
- Higher-order model-checking, categorical semantics, and linear logic
- Contributed talk at the conference Topology, Algebra, and Categories in Logic, Ischia, June 21, 2015.
- Semantic methods in higher-order model-checking
- Invited talk at the meeting of ANR Rapido, Paris, June 18, 2015.
- Colored intersection types: a bridge between higher-order model-checking and linear logic
- Contributed talk at the conference TYPES 2015, Tallinn, May 18, 2015.
- An infinitary model of linear logic
- Contributed talk at the conference FOSSACS, London, April 13, 2015.
- Coloured tensorial logic and higher-order model-checking
- Contributed talk at the workshop GALOP X, London, April 11, 2015.
- Categorical semantics of linear logic and higher-order model-checking
- Seminar talk at Chocola, Lyon, April 9, 2015.
- A semantic study of higher-order model-checking
- Seminar talk at Laboratoire d'Informatique de Paris-Nord, Villetaneuse, March 20, 2015.
- A semantic study of higher-order model-checking
- Seminar talk at Laboratoire de Spécification et de Vérification, Cachan, March 3, 2015.
- Type systems and models of linear logic for higher-order verification
- Joint seminar talk of the teams LDP of IML and MoVe of LIF, Marseille, February 19, 2015.
- On the coinductive nature of centralizers
- Guest lecture at Turku University's department of Mathematics, January 14th, 2015.

## 2014

- Introduction to higher-order verification II: modal mu-calculus, tree automata and parity games.
- Introductory talk at the Sémantique et Vérification working group of LIAFA and PPS, Université Paris Diderot, December 11th, 2014.
- Introduction to higher-order verification I: recursion schemes and terms
- Introductory talk at the Sémantique et Vérification working group of LIAFA and PPS, Université Paris Diderot, November 27th, 2014.
- Type systems and logical models for higher-order verification
- Invited talk at the 2nd ANR LOCALI Meeting, Université Paris Diderot, November 24th, 2014.
- Type systems and logical models for higher-order verification
- Seminar talk at Séminaire Graphes et Logique, LABRI, November 4th, 2014.
- Tree automata and logical models
- Talk at Journées de rentrée of LIAFA's automata team, October 3rd, 2014.
- On the coinductive nature of centralizers
- Contributed talk at Journées Montoises, September 25th, 2014.
- Coloured indexed linear logic and higher-order model-checking
- Contributed talk at the workshop DOMAINS, September 10th, 2014.
- The modal nature of colors in higher-order model-checking
- Contributed talk at the workshop HOPA (Higher Order Program Analysis), July 18th, 2014.
- Indexed linear logic and higher-order model-checking
- Contributed talk at the workshop ITRS (Intersection Types and Related Systems), July 18th, 2014.
- Verification by typing
- Talk at the PhD student seminar of LIAFA and PPS, June 25th, 2014.

## 2013

- Semantic interpretation of tree automata
- Talk at Luke Ong's team seminar, Oxford University Computing Laboratory, October 29th, 2013.
- A semantic interpretation of tree automata
- Talk at
*Journées de rentrée*of LIAFA's automata team, October 11th, 2013. - Types intersection et interprétation relationnelle des automates d'arbre
- Talk at
*Journées de rentrée*of PPS, September 19th, 2013

## 2009

- Kunc's answer to Conway's problem
- Seminar at the Mathematics department of Turku University, July 17th, 2009.