Soutenances

Emmanuel Franck

Méthodes numériques pour les systèmes hyperboliques raides.

Arthur Chargueraud

A modern eye on separation logic for sequential programs

Khalef Yaddaden

Structures algébriques associées aux relations de double mélange entre valeurs polylogarithme multiples aux racines de l'unité