- Prouver les programmes : pourquoi, quand, comment ? Présentation
- 28 janvier 2015 16:00 17:00 Cours La révolution informatique dans les sciences Gérard Berry
- 04 mars 2015 16:00 17:30 Cours De la spécification à la réalisation, au test et à la preuve : les approches formelles Gérard Berry
- 04 mars 2015 17:30 Séminaire L'Internet des objets, une révolution à ne pas manquer Joseph Sifakis
- 11 mars 2015 16:00 17:30 Cours Les méthodes générales : assertions, réécriture, interprétation abstraite, logiques et assistants de preuve Gérard Berry
- 11 mars 2015 17:30 Séminaire Utilisation des méthodes formelles pour la sécurisation de systèmes complexes : une avancée industrielle Dominique Bolignano
- 18 mars 2015 16:00 17:30 Cours Des logiques d'ordre supérieur à la programmation vérifiée en Coq Gérard Berry
- 18 mars 2015 17:30 Séminaire Langages et systèmes pour la preuve interactive Christine Paulin
- 25 mars 2015 16:00 17:30 Cours La vérification de modèles (model-checking) Gérard Berry
- 25 mars 2015 17:30 Séminaire Prouver la sécurité informatique : la logique à la rescousse Véronique Cortier
- 01 avril 2015 16:00 17:30 Cours Vérification et optimisation booléennes d'automates et circuits Gérard Berry
- 01 avril 2015 17:30 Séminaire Spécification, construction et vérification de programmes : le parcours d'une pensée scientifique sur une trentaine d'années Jean-Raymond Abrial