Bonjour à tous,
Le [GdT Programmation / séminaire IRILL] repart ce jeudi 09/11/2017
Sylvain Conchon (LRI - univ Paris-Saclay) parlera de
Cubicle : a model checker for parameterized array-based transition systems.
à 16h en salle 15-16 101 (1er étage) sur le campus Jussieu
Toutes les informations concernant ce GdT sont sur :
http://www-apr.lip6.fr/~chaillou/Public/programmation/index.html
à bientôt.
Emmanuel...