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.

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