VIVA 2020 https://www.lirmm.fr/viva2020 European Summer School on Artifical Intelligence and Software Verification and Validation Tue, 28 Jan 2020 21:32:38 +0000 en-US hourly 1 https://wordpress.org/?v=5.3.13 https://www.lirmm.fr/viva2020/wp-content/uploads/2019/11/cropped-viva_logo-32x32.jpg VIVA 2020 https://www.lirmm.fr/viva2020 32 32 post 5 https://www.lirmm.fr/viva2020/2019/12/11/post-5/ https://www.lirmm.fr/viva2020/2019/12/11/post-5/#respond Wed, 11 Dec 2019 16:22:39 +0000 https://www.lirmm.fr/viva2020/?p=663

is a great research lab.

et voici le post5

]]> https://www.lirmm.fr/viva2020/2019/12/11/post-5/feed/ 0 post4 https://www.lirmm.fr/viva2020/2019/12/11/post4/ https://www.lirmm.fr/viva2020/2019/12/11/post4/#respond Wed, 11 Dec 2019 16:22:15 +0000 https://www.lirmm.fr/viva2020/?p=661 et voici le post4

]]> https://www.lirmm.fr/viva2020/2019/12/11/post4/feed/ 0 Call for Participation https://www.lirmm.fr/viva2020/2019/12/11/https-www-lirmm-fr-viva2020-call/ https://www.lirmm.fr/viva2020/2019/12/11/https-www-lirmm-fr-viva2020-call/#respond Wed, 11 Dec 2019 16:21:41 +0000 https://www.lirmm.fr/viva2020/?p=659 Call for Participation is available.

]]> https://www.lirmm.fr/viva2020/2019/12/11/https-www-lirmm-fr-viva2020-call/feed/ 0 It is happing here at VIVA-2020 https://www.lirmm.fr/viva2020/2019/09/13/it-is-happing-here-at-pkm-2020/ Fri, 13 Sep 2019 17:53:16 +0000 http://www.lirmm.fr/pkm-2020/?p=187 This is a blog that keeps you informed of what is happening during VIVA 2020

]]> Session info https://www.lirmm.fr/viva2020/2019/09/04/hello-world-2/ https://www.lirmm.fr/viva2020/2019/09/04/hello-world-2/#comments Wed, 04 Sep 2019 15:02:20 +0000 http://www.lirmm.fr/pkm-2020/?p=1 Session podcasts will be on-line here

]]> https://www.lirmm.fr/viva2020/2019/09/04/hello-world-2/feed/ 1