https://www.lirmm.fr/viva2020/2019/09/13/it-is-happing-here-at-pkm-2020/ European Summer School on Artifical Intelligence and Software Verification and Validation Wed, 11 Dec 2019 15:07:58 +0000 hourly 1 https://wordpress.org/?v=5.3.13