hornby – VIVA 2020 https://www.lirmm.fr/viva2020 European Summer School on Artifical Intelligence and Software Verification and Validation Wed, 11 Dec 2019 15:28:08 +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 hornby – 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 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