Voici les dates et les horaire des cours « Structures de données et algorithmes pour la vérification formelle » de Gérard Berry au Collège de France.
- le mercredi 9 mars, 16h00-18h30 : Cours BDDs (Binary Decision Diagrams) par Gérard Berry, puis séminaire de JC Madre (Mentor Graphics) et P. Vuillod (Synopsys) sur l’utilisation des BDDs en CAO électronique.
- le mercredi 16 mars, 16h00-18h30 : Cours SAT, la satisfaction Booléenne par Gérard Berry, puis séminaire par Laurent Simon (LABRI Bordeaux) sur les victoires contre les problèmes difficiles.
- le mercredi 23 mars, 16h00-18h30 : Cours SMT, la satisfaction modulo théories par Gérard Berry, puis séminaire par Sylvain Conchon (LRI Orsay) sur Alt-Ergo, un système SMT
- le mercredi 30 mars, 16h00-18h30 : Cours sur la vérification de systèmes temporisés par Gérard Berry, puis séminaire par Kim Larsen (Aalborg) sur le système UPPAAL
- le mercredi 6 avril, 16h00-18h30 : Cours sur la vérification de systèmes distribués par exploration explicite par Gérard Berry, puis séminaire de Stéphanie Delaune (ENS Cachan) sur la preuve de protocoles de sécurité.
- le mercredi 13 avril, 16h00-18h30 : En premier séminaire de Chantal Keller (LRI Orsay) sur la coopération assistants de preuves – systèmes automatiques, puis cours en forme de réponse aux questions de l’année par Gérard Berry.