Collège de France

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