11 Mar 2021 → 15 avr 2021 Séminaire Logiques de programmes : quand la machine raisonne sur ses logiciels 11 Mar 2021 → 15 avr 2021 Partager Facebook LinkedIn Bluesky Threads Copier le lien
du Jeudi 11 mars au Jeudi 15 avril 2021 Voir aussi : Cours associéXavier Leroy Documents et médias Télécharger le programme pdf (286 Ko) Programme Cours 09:30 - 11:00 Comment raisonner sur un logiciel ? La naissance des logiques de programmes Xavier Leroy 04 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 Mar 2021 09:30 - 11:00 Cours 09:30 - 11:00 Variables et boucles : la logique de Hoare Xavier Leroy 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP Loïc Correnson 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15 Cours 09:30 - 11:00 Pointeurs et structures de données : la logique de séparation Xavier Leroy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Preuve auto-active de programmes en SPARK Yannick Moy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15 Cours 09:30 - 11:00 Parallélisme à mémoire partagée : la logique de séparation concurrente Xavier Leroy 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15 Cours 09:30 - 11:00 Quelques extensions de la logique de séparation Xavier Leroy 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Raisonner à propos du temps en logique de séparation François Pottier 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 11:15 - 12:15 Cours 09:30 - 11:00 Logiques pour la mémoire partagée faiblement cohérente Xavier Leroy 08 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Jacques-Henri Jourdan 08 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 avr 2021 11:15 - 12:15 Cours 09:30 - 11:00 Logiques pour les langages fonctionnels et l'ordre supérieur Xavier Leroy 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 11:15 - 12:15 Voir aussi Cours en relation avec le séminaire : Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy, chaire Sciences du logiciel
Cours 09:30 - 11:00 Comment raisonner sur un logiciel ? La naissance des logiques de programmes Xavier Leroy 04 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 Mar 2021 09:30 - 11:00
Cours 09:30 - 11:00 Variables et boucles : la logique de Hoare Xavier Leroy 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP Loïc Correnson 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15
Cours 09:30 - 11:00 Pointeurs et structures de données : la logique de séparation Xavier Leroy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Preuve auto-active de programmes en SPARK Yannick Moy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15
Cours 09:30 - 11:00 Parallélisme à mémoire partagée : la logique de séparation concurrente Xavier Leroy 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15
Cours 09:30 - 11:00 Quelques extensions de la logique de séparation Xavier Leroy 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Raisonner à propos du temps en logique de séparation François Pottier 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 11:15 - 12:15
Cours 09:30 - 11:00 Logiques pour la mémoire partagée faiblement cohérente Xavier Leroy 08 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Jacques-Henri Jourdan 08 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 avr 2021 11:15 - 12:15
Cours 09:30 - 11:00 Logiques pour les langages fonctionnels et l'ordre supérieur Xavier Leroy 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 avr 2021 11:15 - 12:15
