The next 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)