Xavier Leroy

Enseignements

Sciences du logiciel
À venir

Introduction à l'équivalence et au raffinement entre programmes
Xavier Leroy

Cours
09:30 à 11:00

Concurrency Theory: From Its Origins Towards a Science of Processes
Davide Sangiorgi

Séminaire
11:15 à 12:15

Approches dénotationnelles et full abstraction
Xavier Leroy

Cours
09:30 à 11:00

L'équivalence d'interaction
Adrienne Lancelot

Séminaire
11:15 à 12:15

Bisimulations 1
Xavier Leroy

Cours
09:30 à 11:00

Sémantiques de jeux des langages de programmation
Pierre Clairambault

Séminaire
11:15 à 12:15

Bisimulations 2
Xavier Leroy

Cours
09:30 à 11:00

Théorèmes de point fixe et coinduction sans coinduction
Damien Pous

Séminaire
11:15 à 12:15

Relations logiques 1
Xavier Leroy

Cours
09:30 à 11:00

Logique relationnelle probabiliste et ses applications à la cryptographie
Benjamin Grégoire

Séminaire
11:15 à 12:15

Relations logiques 2
Xavier Leroy

Cours
09:30 à 11:00

La sémantique de l'allocation dynamique : des noms frais aux faisceaux
Guilhème Jaber

Séminaire
11:15 à 12:15

Logiques de programmes relationnelles
Xavier Leroy

Cours
09:30 à 11:00

Équivalences de programmes (7)
Xavier Leroy

Séminaire
11:15 à 12:15
8 cycles

Filtres actifs

2023 - 2024

L'IA et ses défis
Philippe Aghion, Xavier Leroy, Benoît Sagot

Colloque

Structures de contrôle : de « goto » aux effets algébriques
Xavier Leroy

→
Cours
→

Structures de contrôle : de « goto » aux effets algébriques
Xavier Leroy

→
Séminaire
→

2021 - 2022

Sécurité du logiciel : quel rôle pour les langages de programmation ?
Xavier Leroy

→
Cours
→

Sécurité du logiciel : quel rôle pour les langages de programmation ?
Xavier Leroy

→
Séminaire
→

Probabilistic Programming
Xavier Leroy

→
Colloque
→

2020 - 2021

Logiques de programmes : quand la machine raisonne sur ses logiciels
Xavier Leroy

→
Cours
→

Logiques de programmes : quand la machine raisonne sur ses logiciels
Xavier Leroy

→
Séminaire
→