==== Journée ASV 2022 / ASV 2022 Pole Day ====

The next [[https://www.irif.fr/en/poles/asv/index|Automata, Structures and Verification pole]] day will take place on **Friday, October 21st, 2022** in **room 3052**. This will be the opportunity to remind you of the list of working groups and seminars of the pole as well as the different projects (ANR and others) in which the members are involved. There are still slots for presentations by PhD students or
post-docs. Feel free to propose a presentation.

**09:30 WELCOMING PRESENTATION**

09:45 
        Marie Fortin

10:00 
        Alexandra Rogova

10:15
        Salim Chouai 
        "Synthesis of Accuracy Specifications under Differential Privacy"

**10:30 BREAK**

11:00
        Alliaume Lopez

11:15
        Wael Boutglay
        "Data-driven Program Verification using Decision Trees and Convex Hulls"

11:30
        Lucie Guillou

11:45
        Klara Nosan

**12:00 LUNCH**

14:00
        Enrique Román Calvo

14:15
        Vincent Moreau
        
14:30
        Gaëtan Douéneau

**14:45 BREAK**

15:15
        Bernardo Inclan
        "On bounded delay timed channel coding"
15:30 
        Arthur Jacquard
        
15:45
        Srinidhi Nagendra (10mn talk)