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 […]
5 évènements found.
-
-
-
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 […]
-
D3 Seminar: Thomas Lambert (Inria Rennes)
Next D3 seminar will take place on February 3rd at 2pm online. Thomas Lambert, postdoctoral researcher at Inria Rennes, will give a presentation entitled 'Performance Analysis and Optimality Results for […]
