PHD Defense: Nicolas Lasolle (K)
Nicolas Lasolle (K Team) will defend his thesis on Friday, 7th October at 10 am at Loria. His thesis is entitled "Un système d'interrogation flexible pour le Web sémantique : […]
Nicolas Lasolle (K Team) will defend his thesis on Friday, 7th October at 10 am at Loria. His thesis is entitled "Un système d'interrogation flexible pour le Web sémantique : […]
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 […]
