The Automata, Structures, and Verification (ASV) day is scheduled this year on Friday November 19th. This will be the opportunity to meet again and learn about some of the work done in our pole, in particular by the new comers.

The meeting will take place in the following rooms:
- Morning (09:00-12:30) : 064 E (Halle aux Farines)
- Afternoon (13:45 - 17:00) : 1021 (Sophie Germain)

09:00 - 10:00 Short presentations (session 1):

Antonio Casares
Srinidhi Nagendra
Julien Rolland
El Mehdi Cherradi

10:00 - 10:45:

Amélie Gheerbrant

10:45 - 11:00:

BREAK

11:00 - 11:45 Short presentations (session 2):

Enrique Roman Calvo
Alexandra Rogova
Wael Boutglay

11:45 - 12:30:

Mohammed Foughali

12:30 - 13:45:

LUNCH BREAK

13:45 - 14:30:

François Laroussinie

14:30 - 15:15 Short presentations (session 3):

Arthur Jaquard
Klara Nosan
Mélodie Lapointe

15:15 - 15:30:

BREAK

15:30 - 16:15 Short presentations (session 4):

Aliaume Lopez
Anantha Padmanabha Matikurke
Vincent Moreau

16:15 - 17:00:

Mirna Dzamonja