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) […]
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 […]
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 […]
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 […]
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 […]
