VIVA 2020
https://www.lirmm.fr/viva2020
European Summer School on Artifical Intelligence and Software Verification and ValidationTue, 28 Jan 2020 21:32:38 +0000en-US
hourly
1 https://wordpress.org/?v=5.3.13https://www.lirmm.fr/viva2020/wp-content/uploads/2019/11/cropped-viva_logo-32x32.jpgVIVA 2020
https://www.lirmm.fr/viva2020
3232post 5
https://www.lirmm.fr/viva2020/2019/12/11/post-5/
https://www.lirmm.fr/viva2020/2019/12/11/post-5/#respondWed, 11 Dec 2019 16:22:39 +0000https://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/0post4
https://www.lirmm.fr/viva2020/2019/12/11/post4/
https://www.lirmm.fr/viva2020/2019/12/11/post4/#respondWed, 11 Dec 2019 16:22:15 +0000https://www.lirmm.fr/viva2020/?p=661 et voici le post4
]]>https://www.lirmm.fr/viva2020/2019/12/11/post4/feed/0Call 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/#respondWed, 11 Dec 2019 16:21:41 +0000https://www.lirmm.fr/viva2020/?p=659Call for Participation is available.
]]>https://www.lirmm.fr/viva2020/2019/12/11/https-www-lirmm-fr-viva2020-call/feed/0It 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 +0000http://www.lirmm.fr/pkm-2020/?p=187This 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/#commentsWed, 04 Sep 2019 15:02:20 +0000http://www.lirmm.fr/pkm-2020/?p=1Session podcasts will be on-line here
]]>https://www.lirmm.fr/viva2020/2019/09/04/hello-world-2/feed/1