Soutenances
-
Mardi 17 janvier 2023 - 14h00 HDR
-
Emmanuel Franck :
Méthodes numériques pour les systèmes hyperboliques raides.
- Lieu : Salle de conférences IRMA
-
Lundi 27 février 2023 - 14h30 HDR
-
Arthur Chargueraud :
A modern eye on separation logic for sequential programs
- Lieu : Salle de conférences IRMA
-
Mardi 14 mars 2023 - 09h00 Thèse
-
Khalef Yaddaden :
Structures algébriques associées aux relations de double mélange entre valeurs polylogarithme multiples aux racines de l'unité
- Lieu : Salle de conférences IRMA