Automates, structures et vérification ASV Day - End of the year 2023 Journée de fin d'année 2023 ASV Journée ASV 2022 / ASV 2022 Pole Day Journée ASV 2021 Journées de rentrée ASV 2020 2019 Automata, Structures, and Verification Pole Day Journées de rentrée ASV 2017