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 […]
5 évènements found.
-
-
-
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 […]
-
Journée Fédération Charles Hermite : IA et énergie
Le prochaine journée scientifique de la Fédération Charles Hermite (CRAN, IECL, LORIA) aura lieu le 18 février de 13h30 à 17h45 en ligne. Organisée par Vincent Chevrier (équipe Simbiot du […]
-
PhD defense: Sylvain Cecchetto
TeamsSylvain Cecchetto (Carbone) will defend his PhD on Monday, February 22nd at 4pm. His thesis is entitled "Data flow analysis to build control flow graph of obfuscated codes", his presentation […]
