- 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