https://www.lirmm.fr/viva2020/2019/12/11/post4/ European Summer School on Artifical Intelligence and Software Verification and Validation Wed, 11 Dec 2019 15:22:15 +0000 hourly 1 https://wordpress.org/?v=5.3.13