Collège de France

  • menu
  • FR
  • EN
  • 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