Category Archives: News

Issam Belghiat (Algeria) is visting us

Rima Djellab (Algeria) is visiting CAPP

Tomer Kotek is giving a seminar, 14h30 room C115

Tomer Kotek, from Austria, is visiting CAPP

Martin Strecker (Toulouse) is visiting CAPP

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.

Alexander Leitsch (Vienna), Laurent Vigneron (Nancy) and Sorin Stratulat (Metz) will be visiting CAPP

CAPP is organizing a doctoral workshop. Talks will be given by Marcelo Forets, Abdelkamel Hettab, David Cattaneo and Sophie Tourret

Abdelkamel Hettab (Algeria) is visiting CAPP

Julien Henry (Verimag) is giving a talk on Improving static analysis with decision procedures, 14h room C115