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)