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