## Types for probabilistic programs

- 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.
- Verification of (probabilistic) functional programs
- Seminar at the MABIOS team, Marseilles, June 3, 2019.
- Termination of higher-order probabilistic programs
- Seminar talk of the LIRICA team, Marseilles, Nov 6, 2017.
- Two Type-Theoretic Approaches to Probabilistic Termination
- Seminar talk of the LDP team, Marseilles, Sep 21, 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.
- Probabilistic Termination by Monadic Affine Sized Typing
- Contributed talk at Journées Nationales Géocal – LAC 2016, Paris, Nov 28, 2016.
- Probabilistic Termination by Monadic Affine Sized Typing
- Contributed talk at the meeting of the ANR project ELICA, Bologna, Oct 6, 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.