==== Journée ASV 2021 ==== 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