Hans-Jörg Schurr (Veridis Team) will defend his thesis on Friday, 7th October at 3pm at Loria. His thesis is entitled "Stronger SMT Solvers for Proof Assistants: Proofs, Quantifier Simplification, Strategy […]
Du 7 au 17 octobre, le CNRS ouvre les portes de ses laboratoires, observatoires, plateformes scientifiques et sites de recherche en France métropolitaine. Les Visites insolites permettront à plus de […]
Les journées du groupe de travail Calculabilités auront lieu au Loria du 10 au 12 octobre 2022, en salle C005. Ces journées ont pour but de rassembler des chercheurs de […]
Abir Laraba will defend her thesis on Tuesday, 11th October at 2 pm in room A008. Her thesis is entitled "Protocol Abuse Mitigation In SDN Programmable Data Planes". Abstract: The […]
La journée "IA pour la découverte scientifique" aura lieu au Loria le jeudi 13 octobre 2022. Cette journée inclura des présentations de chercheurs de diverses disciplines et des moments d'échanges […]
