Recent & Upcoming Talks

2023

Caractériser des propriétés de confiance d’IA avec Why3

Nous proposons de faire la démonstration de CAISAR, un logiciel libre en développement au sein du laboratoire de sûreté et sécurité des …

Feb 2, 2023 7:00 PM Praz-sur-Arly

Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani

Code Slides

2020

Computational techniques for boosting verification of deep learning algorithms

A talk I gave in my lab, mostly to help me to structure and review my state-of-the-art

Feb 25, 2020 4:48 PM — 4:48 PM

Slides

Formal verification of robustness properties in deep learning programs

A seminar I gave to people from Telecom, aimed at an audience familiar with machine learning but not familiar with verification techniques.

Feb 10, 2020 4:49 PM

Slides

2019

Building specifications for perception systems : formal proofs of deep networks trained with simulators

A talk I gave to present preliminary results on CAMUS

Sep 11, 2019

Slides

DILS PhD Days 2019

A presentation I gave within my department to present my work

Jun 1, 2019 4:48 PM

Slides

ForMaL 2019

A presentation I gave part of a tutorial of generating adversarial examples.

May 10, 2019

Slides

2018

Inria 2018

My first official talk I gave as a phd student

Dec 13, 2018 2:00 PM

Slides