https://lig-capp.imag.fr/wordpress Mon, 27 May 2024 10:11:19 +0000 en-US hourly 1 https://wordpress.org/?v=5.1.17 https://lig-capp.imag.fr/wordpress/?p=348 https://lig-capp.imag.fr/wordpress/?p=348#respond Mon, 24 Nov 2014 15:54:38 +0000 http://lig-capp.imag.fr/wordpress/?p=348 Issam Belghiat (Algeria) is visting us

]]> https://lig-capp.imag.fr/wordpress/?feed=rss2&p=348 0 https://lig-capp.imag.fr/wordpress/?p=346 https://lig-capp.imag.fr/wordpress/?p=346#respond Mon, 24 Nov 2014 15:53:28 +0000 http://lig-capp.imag.fr/wordpress/?p=346 Rima Djellab (Algeria) is visiting CAPP

]]> https://lig-capp.imag.fr/wordpress/?feed=rss2&p=346 0 https://lig-capp.imag.fr/wordpress/?p=344 https://lig-capp.imag.fr/wordpress/?p=344#respond Mon, 24 Nov 2014 15:52:30 +0000 http://lig-capp.imag.fr/wordpress/?p=344 Tomer Kotek is giving a seminar, 14h30 room C115

]]> https://lig-capp.imag.fr/wordpress/?feed=rss2&p=344 0 https://lig-capp.imag.fr/wordpress/?p=342 https://lig-capp.imag.fr/wordpress/?p=342#respond Mon, 24 Nov 2014 15:50:41 +0000 http://lig-capp.imag.fr/wordpress/?p=342 Tomer Kotek, from Austria, is visiting CAPP

]]> https://lig-capp.imag.fr/wordpress/?feed=rss2&p=342 0 https://lig-capp.imag.fr/wordpress/?p=340 https://lig-capp.imag.fr/wordpress/?p=340#respond Mon, 24 Nov 2014 15:49:34 +0000 http://lig-capp.imag.fr/wordpress/?p=340 Martin Strecker (Toulouse) is visiting CAPP

]]> https://lig-capp.imag.fr/wordpress/?feed=rss2&p=340 0 https://lig-capp.imag.fr/wordpress/?p=338 https://lig-capp.imag.fr/wordpress/?p=338#respond Mon, 24 Nov 2014 15:46:39 +0000 http://lig-capp.imag.fr/wordpress/?p=338 Abdelkader Kersani is defending his PhD “Preuves par induction dans le calcul de superposition” in the CTL (Centre de technologies du logiciel, 7 allée de palestine, Domaine universitaire 38610 GIERES) at 14h.

]]> https://lig-capp.imag.fr/wordpress/?feed=rss2&p=338 0 https://lig-capp.imag.fr/wordpress/?p=336 https://lig-capp.imag.fr/wordpress/?p=336#respond Mon, 24 Nov 2014 15:44:31 +0000 http://lig-capp.imag.fr/wordpress/?p=336 Alexander Leitsch (Vienna), Laurent Vigneron (Nancy) and Sorin Stratulat (Metz) will be visiting CAPP

]]> https://lig-capp.imag.fr/wordpress/?feed=rss2&p=336 0 https://lig-capp.imag.fr/wordpress/?p=334 https://lig-capp.imag.fr/wordpress/?p=334#respond Mon, 24 Nov 2014 15:36:53 +0000 http://lig-capp.imag.fr/wordpress/?p=334 CAPP is organizing a doctoral workshop. Talks will be given by Marcelo Forets, Abdelkamel Hettab, David Cattaneo and Sophie Tourret

]]> https://lig-capp.imag.fr/wordpress/?feed=rss2&p=334 0 https://lig-capp.imag.fr/wordpress/?p=332 https://lig-capp.imag.fr/wordpress/?p=332#respond Mon, 24 Nov 2014 15:32:55 +0000 http://lig-capp.imag.fr/wordpress/?p=332 Abdelkamel Hettab (Algeria) is visiting CAPP

]]> https://lig-capp.imag.fr/wordpress/?feed=rss2&p=332 0 https://lig-capp.imag.fr/wordpress/?p=352 https://lig-capp.imag.fr/wordpress/?p=352#respond Mon, 24 Nov 2014 15:31:37 +0000 http://lig-capp.imag.fr/wordpress/?p=352 Julien Henry (Verimag) is giving a talk on Improving static analysis with decision procedures, 14h room C115

]]> https://lig-capp.imag.fr/wordpress/?feed=rss2&p=352 0