Verification of (probabilistic) functional programs

Seminar at the MTV team of LaBRI, Feb 14, 2022.

Systèmes de preuve pour les logiques de "Bringing-it-About"

Online seminar at JIAF, July 2, 2021.

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.

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.

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.

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.

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.

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.

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

Kunc's answer to Conway's problem

Seminar at the Mathematics department of Turku University, July 17th, 2009.