- En relation avec le sujet du cours
- 04 novembre 2015 16:00 17:30 Cours L'importance des langages en informatique (INRIA de Rennes) Gérard Berry
- 04 novembre 2015 17:30 Séminaire Intégration de la vérification formelle dans les langages de programmation (INRIA de Rennes) Thomas Jensen
- 09 mars 2016 16:00 17:30 Cours Les BDDs (Binary Decision Diagrams) et leurs applications Gérard Berry
- 09 mars 2016 17:30 18:30 Séminaire Application des BDDs dans la conception de circuits intégrés Jean-Christophe Madre et Patrick Vuillod
- 16 mars 2016 16:00 17:30 Cours SAT : la satisfaction booléenne Gérard Berry
- 16 mars 2016 17:30 18:30 Séminaire SAT : des victoires contre les problèmes difficiles Laurent Simon
- 23 mars 2016 16:00 17:30 Cours SMT : la satisfaction modulo théories Gérard Berry
- 23 mars 2016 17:30 18:30 Séminaire SMT en pratique : le démonstrateur Alt-Ergo Sylvain Conchon
- 30 mars 2016 16:00 17:30 Cours La vérification formelle de programmes temporisés Gérard Berry
- 30 mars 2016 17:30 18:30 Séminaire Real-Time Model Checking of Embedded Systems Kim Larsen
- 06 avril 2016 16:00 17:30 Cours La vérification par énumération explicite Gérard Berry
- 06 avril 2016 17:30 18:30 Séminaire La vérification formelle appliquée aux protocoles cryptographiques Stéphanie Delaune
- 13 avril 2016 16:00 17:00 Séminaire Vers une automatisation sûre et expressive : combiner preuves automatiques et interactives Chantal Keller
- 13 avril 2016 17:00 18:30 Cours Conclusion et réponse aux questions de l'année Gérard Berry