/***
name = avocs
image = :actualites:ressources:conf-avocs18.png
image tag = Avocs'18
date = 6 July 2018
extra link = https://bit.ly/2IXg7Jl
for 1 month until 20 July 2018, priority = normal
for 1 week until 19 July 2018, priority = high
***/
[[https://www.irif.fr/~sighirea/|Mihaela Sighireanu]] (IRIF) is co-chair of the 18th International Workshop on Automated Verification of Critical Systems ([[http://avocs18.irisa.fr/|AVOCS]]) which will take place in Oxford from 18.07.18 to 19.07.18 as part of FLOC2018. [[https://bit.ly/2IXg7Jl|{{icon>arrow-circle-right}}]]