https://www.lirmm.fr/viva2020/2019/12/11/https-www-lirmm-fr-viva2020-call/ European Summer School on Artifical Intelligence and Software Verification and Validation Tue, 28 Jan 2020 21:32:38 +0000 hourly 1 https://wordpress.org/?v=5.3.13