Soutenance de thèse : Vincent Trelat (équipe Veridis)
10 novembre 2026 @ 9:30 am - 13:30 pm
Vincent Trelat, doctorant dans l’équipe Veridis, soutiendra sa thèse le 10 novembre 2026 à 9h30 au Loria, avec un exposé intitulé
« Trustworthy Reasonig for the B method« .
Composition du jury :
- Stephan Merz, directeur de recherches Inria au Loria (encadrant)
- Sophie Tourret, chargée de recherches Inria au Loria (encadrante)
- Jean-Christophe Filliâtre, LMF (rapporteur)
- Michael Leuschel, Université de Düsseldorf (rapporteur)
- Laura Kovács, TU Wien (examinatrice)
- Xavier Goaoc, UL (examinateur)
