cours de Gérard Berry au Collège de France

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.
Posted in Actualités.