Xavier Leroy

Enseignements

Sciences du logiciel
À venir

Équivalences de programmes (1)
Xavier Leroy

Cours
09:30 à 11:00

Équivalences de programmes (1)
Xavier Leroy

Séminaire
11:15 à 12:15

Équivalences de programmes (2)
Xavier Leroy

Cours
09:30 à 11:00

Équivalences de programmes (2)
Xavier Leroy

Séminaire
11:15 à 12:15

Équivalences de programmes (3)
Xavier Leroy

Cours
09:30 à 11:00

Équivalences de programmes (3)
Xavier Leroy

Séminaire
11:15 à 12:15

Équivalences de programmes (4)
Xavier Leroy

Cours
09:30 à 11:00

Équivalences de programmes (4)
Xavier Leroy

Séminaire
11:15 à 12:15

Équivalences de programmes (5)
Xavier Leroy

Cours
09:30 à 11:00

Équivalences de programmes (5)
Xavier Leroy

Séminaire
11:15 à 12:15

Équivalences de programmes (6)
Xavier Leroy

Cours
09:30 à 11:00

Équivalences de programmes (6)
Xavier Leroy

Séminaire
11:15 à 12:15

Équivalences de programmes (7)
Xavier Leroy

Cours
09:30 à 11:00

Équivalences de programmes (7)
Xavier Leroy

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

2026 - 2027

Équivalences de programmes
Xavier Leroy

→
Cours
→

Équivalences de programmes
Xavier Leroy

→
Séminaire
→

2025 - 2026

Le calcul sécurisé : calculer sur des données chiffrées ou privées
Xavier Leroy

→
Cours
→

Le calcul sécurisé : calculer sur des données chiffrées ou privées
Xavier Leroy

→
Séminaire
→

2024 - 2025

L'enseignement n'a pas lieu cette année
Xavier Leroy

Cours

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
→

2022 - 2023

Structures de données persistantes
Xavier Leroy

→
Cours
→

Structures de données persistantes
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
→

2019 - 2020

Sémantiques mécanisées : quand la machine raisonne sur ses langages
Xavier Leroy

→
Cours
→

Sémantiques mécanisées : quand la machine raisonne sur ses langages
Xavier Leroy

→
Séminaire
→

2018 - 2019

Le logiciel, entre l'esprit et la matière
Xavier Leroy

-
Leçon inaugurale
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Xavier Leroy

→
Cours
→

Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Xavier Leroy

→
Séminaire
→