L’objectif de cet événement est de présenter certains thèmes de recherche du laboratoire à des collégiens et des lycéens.
Accueil > Verimag > Actualités
Verimag participe à la fête de la science
Verimag participe à la fête de la science les 12 et 13 octobre 2017
Navigation
Actualités
Séminaires
Nouvelles publications
- Quelques Publications
Récentes
- Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian: A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits
- Sylvain Boulmé: Construire des logiciels fiables
- Marius Bozga, Radu Iosif, Florian Zuleger: Regular Grammars for Sets of Graphs of Tree-Width 2
- Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani: Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks