===== Automates, structures et vérification =====

  * [[:poles:asv:journee_pole_2023]]
  * [[:poles:asv:fin_annee_2023]]
  * [[:poles:asv:rentree2022]]
  * [[:poles:asv:rentree2021]]
  * [[:poles:asv:rentree2020]]
  * [[:en:asvday2019]]
  * [[:poles:asv:rentree2017]]