PhD defense: Hoai Le Nguyen
Hoai Le Nguyen, PhD student in the COAST team, will defend his thesis on Thursday, January 14th a at 9am. His defense is entitled "Study of conflicts in Collaborative Editing" […]
5 évènements found.
-
-
-
-
PhD defense: Itsaka Rakotonirina
Itsaka Rakotonirina, PhD student in the Pesto Team, will defend his thesis on Monday, February 1st at 2pm. Title: Symbolic verification of cryptographic protocols, theory and practice The defence will […]
-
CISPA-LORIA Virtual Workshop on Cybersecurity
The CISPA - LORIA virtual workshop on cybersecurity will take place on Thursday, February 4th. Organization: Prof. Antoine Joux Program 10:00am-10:15am: Get together in the gather.town common space (15 min) […]
-
Point d’étape du projet LUE OLKi
La communauté OLKi et plus largement les membres des laboratoires du consortium OLKi sont invités le mercredi 10 février matin au point d'étape du projet avec le Comité exécutif de […]
-
PhD defense: Daniel El Ouraoui
Daniel El Ouraoui, doctorant dans l'équipe Mosel-Veridis, soutiendra sa thèse intitulée "Méthodes pour le raisonnement d’ordre supérieur dans SMT", effectuée sous la direction de Jasmin Blanchette, Pascal Fontaine et Stephan […]
