Collège de France

  • menu
  • FR
  • EN
  • Logiques de programmes : quand la machine raisonne sur ses logiciels Présentation
  • 04 mars 2021 09:30 11:00 Cours Comment raisonner sur un logiciel ? La naissance des logiques de programmes Xavier Leroy
  • 11 mars 2021 09:30 11:00 Cours Variables et boucles : la logique de Hoare Xavier Leroy
  • 11 mars 2021 11:15 12:15 Séminaire Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP Loïc Correnson
  • 18 mars 2021 09:30 11:00 Cours Pointeurs et structures de données : la logique de séparation Xavier Leroy
  • 18 mars 2021 11:15 12:15 Séminaire Preuve auto-active de programmes en SPARK Yannick Moy
  • 25 mars 2021 09:30 11:00 Cours Parallélisme à mémoire partagée : la logique de séparation concurrente Xavier Leroy
  • 25 mars 2021 11:15 12:15 Séminaire VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs
  • 01 avril 2021 09:30 11:00 Cours Quelques extensions de la logique de séparation Xavier Leroy
  • 01 avril 2021 11:15 12:15 Séminaire Raisonner à propos du temps en logique de séparation François Pottier
  • 08 avril 2021 09:30 11:00 Cours Logiques pour la mémoire partagée faiblement cohérente Xavier Leroy
  • 08 avril 2021 11:15 12:15 Séminaire Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Jacques-Henri Jourdan
  • 15 avril 2021 09:30 11:00 Cours Logiques pour les langages fonctionnels et l'ordre supérieur Xavier Leroy
  • 15 avril 2021 11:15 12:15 Séminaire Gillian: Compositional Symbolic Testing and Verification Philippa Gardner