The International Conference on Case-Based Reasoning (ICCBR) is the premier, annual meeting of the CBR community and the leading international conference on this topic. Researchers will present the latest results of their work and discuss future directions for the field. GLOBAL CHALLENGES FOR CBR is this year’s conference theme, to direct the community’s attention to […]
Laure Crochepierre soutiendra sa thèse intitulée "Apprentissage automatique interactif pour les opérateurs du réseau électrique", réalisée sous la direction de Lydia Boudjeloud-Assala et la supervision de Vincent Barbesant (RTE), le mardi 27 septembre 2022 à 10h00 à Centrale Supelec Metz. Résumé : Dans le contexte de la transition énergétique et de l'augmentation des interconnexions entre les […]
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 connaissance. Conversations nocturnes, laboratoire d’improvisation, théâtre, speed searching, happening, concert… 70 chercheur·e·s s’impliquent dans la Nuit européenne des chercheur·e·s à Nancy. Le cadre convivial de […]
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. […]
