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
5 cycles

Filtres actifs

2026 - 2027

Équivalences de programmes
Xavier Leroy

→
Cours
→

Équivalences de programmes
Xavier Leroy

→
Séminaire
→

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
→