Emily Clement

Talks

20/11/2024 : (HDA+Logics) talk at National day of GT-Verif (Cristal, Lille)
07/11/2024 : (HDTA) talk at ANR Bisous (LIPN, Villetaneuse)
05/11/2024 : (Random Group) talk at Cosynus Team (LIX, Saclay)
28/05/2024 : (HDTA) talk at spring school MOVEP2024 (IRISA, Rennes)
22/05/2024 : (HDTA) talk for LoVe Team at LIPN Lab (Villetaneuse)
20/03/2024 : (HDTA) Poster for the Poster session of the National day of GDR-IFM (Grenoble)
18/03/2024 : (HDTA) Slides for a talk at LACL seminar (Creteil)
26/02/2024 : (HDTA) Slides for a talk at MoVe Team Seminar (LIP6)
22/02/2024 : (HDTA) Slides for an informal talk at IRIF for a HDTA-HDA day

15/12/2023 : (HDTA) Slides for a talk at LMF seminar GT-Informel
21/11/2023 : (Robustness) Slides for a talk at ANR Maveriq Meeting
17/11/2023 : (Robustness) Slides for a talk at IRIF Automata Team seminar
09/10/2023: (Robotics) Slides for a talk at IRIF Verification Team seminar
06/12/2023 : (Mixed) Slides for a short talk at ASV Day of IRIF
30/11/2023 : (Robotics) Slides for Talk at the national day of GT-VERIF (IRIF)
28/09/2023 : (Robotics) Slides for a talk at IRIF non-permanent seminar
19/09/2023 : (Robotics) Slides for FORMATS 2023 presentation
June 2023 : (Robotics) Slides (Part 1) for a joint presentation at TickTac Meeting
4-7/04/2023 : (Robustness) Poster for the Poster Session for National day of GDR-im at IRIF
16/03/2023 : (Robustness) Slides GDR-GPL MTV2 "Journée du 16 Mars" ;
13/03/2023 : (Robotics) Slides for a talk at AMAC Team (ISIR) presentation

28-29/11/2019 : (Robustness) Slides for TickTac Meeting ;
28/05/2019 : (Robustness) Slides for Makushita seminar (Now called ELSE Seminar) ;