Nicolas Lasolle (K Team) will defend his thesis on Friday, 7th October at 10 am at Loria. His thesis is entitled "Un système d'interrogation flexible pour le Web sémantique : application à la correspondance d'Henri Poincaré". Résumé De nombreux travaux historiques portent sur la vie et l’œuvre scientifique d’Henri Poincaré (1854-1912), notamment au travers de […]

Hans-Jörg Schurr (Veridis Team) will defend his thesis on Friday, 7th October at 3pm at Loria. His thesis is entitled "Stronger SMT Solvers for Proof Assistants: Proofs, Quantifier Simplification, Strategy Schedules". Abstract: This thesis presents three contributions that have the same underlying motivation: to improve the utility of SMT solvers as backends for proof assistants. […]

Abir Laraba will defend her thesis on Tuesday, 11th October at 2 pm in room A008. Her thesis is entitled "Protocol Abuse Mitigation In SDN Programmable Data Planes". Abstract: The emergence of the Software-Defined Networking paradigm has supported the development of new network monitoring scheme thanks to network programmability. The first purpose of SDN is […]

Anna Liednikova (Synalp team) will defend her thesis on Thursday, October 20th at 2 pm in room C005. Her thesis is entitled Human-Machine Dialogue in the Medical Field. Using Dialogue to Collect Important Patient Information. Jury composition - Reviewers : Anne Vilnat, Professor, Université Paris-Saclay, France Sandra Bringay, Professor, Université Paul-Valéry Montpellier 3, France - Examiners : […]

Nicolas Gauville (ABC) soutiendra sa thèse intitulée "Coordination de plates-formes robotiques autonomes, en environnement inconnu pour la recherche et le sauvetage", le 18 novembre 2022 à 13h30 au Loria. Résumé : Cette thèse s’intéresse à l’exploration d’environnements inconnus à l’aide d’une flotte de robots autonomes réactifs. L’exploration autonome est utilisée dans différents domaines, allant des […]