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 : application à la correspondance d'Henri Poincaré". Résumé De nombreux travaux historiques portent sur la vie et l’œuvre scientifique d’Henri Poincaré (1854-1912), notamment au travers de […]
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 Schedules". Abstract: This thesis presents three contributions that have the same underlying motivation: to improve the utility of SMT solvers as backends for proof assistants. […]
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 1 000 personnes de plonger au cœur de la recherche et de découvrir des installations ou expériences exceptionnelles, en tête à tête avec les scientifiques. […]
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 France et d'ailleurs autour de la notion de calculabilité au sens très large du terme. Cela inclut notamment : Calculabilité classique (réductions, degrés, méthodes 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 emergence of the Software-Defined Networking paradigm has supported the development of new network monitoring scheme thanks to network programmability. The first purpose of SDN is […]
