Et si nous proposions aux chercheur·e·s de sortir de leurs labos ? Le temps d’une soirée, le campus se pare d’animations, théâtre, visites, concert… et vous invite à faire leur […]
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 […]
