• 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) 10:30am-10:50am: Benoît-Michel Cogliati (Researcher, CISPA) and Virginie Lallemand (Researcher, LORIA): Deterministic Authenticated Encryption GIAE from the Tweakable Pseudorandom Injection TableSpoon (20 min) 10:50am-11:00am: Discussion (10 min) 11:00am-11:20am: Bizhan […]

  • 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 Lorraine Université d'Excellence et des experts extérieurs invités. Programme 8h45 - 9h00 : Réglages techniques (15') 9h00 - 9h15 : Tour de table (15') 9h15 : Présentation des […]

  • 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 Merz, le 11 février à 9h. Résumé :   La vérification formelle de programmes informatiques ou de systèmes dits critiques tels que dans le transport, […]

  • 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 Data-Locality Aware Tasks Scheduling with Replicated Inputs" "Replication of data files, as automatically performed by Distributed File Systems such as HDFS, is known to have a […]

  • 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 Loria) et Antoine Lejay (IECL), elle a pour thématique "Intelligence artificielle et énergie". Notre société vit actuellement une transition énergétique qui pose de nombreux défis […]