## Semantics and Verification - Introductory talks

- 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.
- Verification by typing
- Talk at the PhD student seminar of LIAFA and PPS, June 25th, 2014.

## Semantics and Verification - Research talks

- Verification of (probabilistic) functional programs
- Seminar at the MTV team of LaBRI, Feb 14, 2022.
- 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.
- When type theory meets model-checking
- Invited seminar at the "Pôle Calcul" of the LIS, Marseilles, Feb 15, 2018.
- 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.
- When type theory meets model-checking
- Invited seminar at the "Pôle Calcul" of the LIS, Marseilles, Feb 15, 2018.
- Linearity in Higher-Order Recursion Schemes
- Seminar talk of the PPS team, Paris, Dec 7, 2017.
- Linearity in Higher-Order Recursion Schemes
- Talk at the Second General Meeting of the GDRI Logique Linéaire, Roma, Oct 23, 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.
- 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.
- Semantics of linear logic and higher-order model-checking
- Contributed talk at the Linear Logic 2016 meeting, Lyon, Nov 9, 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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