• Soutenance d’Ambroise Baril

    A008

    Ambroise Baril (Orpailleur) soutiendra sa thèse intitulée "Complexité fine et paramétrée des problèmes de coloriage de graphe" le 24 juin à 10h en salle A008. Résumé L'objectif de la thèse est d'étudier la complexité fine et paramétrée du problème de H-coloration, ainsi que la classe plus générale des problèmes CSP(Gamma), en utilisant des méthodes d'algèbre […]

  • Colloquium du Loria : Kristin Yvonne Rozier

    Amphithéâtre du Loria

    Le prochain colloquium aura lieu le lundi 24 juin à 13h30 dans l'amphithéâtre. Nous aurons le plaisir d'accueillir Kristin Yvonne Rozier, chercheuse au département d'ingénierie spatiale et d'informatique d'Iowa State University. La présentation est intitulée "Rockets, Route-Analyzers, Rotorcraft, and Robonaut2: Intelligent, On-board Runtime Reasoning" et sera en anglais. Résumé : Runtime Verification (RV) has become […]

  • PhD Defense: Esteban Marquer (Orpailleur)

    Esteban Marquer (Orpailleur) will defend his thesis, entitled "Reasoning over Data: Analogy-based and Transfer Learning to improve Machine Learning", on Monday, June 24 at 2 p.m., in room B013. Abstract Recent years have seen a renewed interest in the potential of analogy detection and analogical inference, with successful applications in Machine Learning (ML) to the […]

  • Soutenance de Jacques Zhong (Larsen)

    Jacques Zhong (Larsen) soutiendra sa thèse intitulée "Prise en compte de la variabilité morphologique d'opérateurs sur des chaînes de montage en réalité virtuelle" le 25 juin à 13h30 en salle C005. Résumé Dans l'industrie, les troubles musculo-squelettiques constituent un problème de santé majeur affectant le bien-être et la productivité des travailleurs. Le travail d'un ergonome […]

  • IJCAR 2024 : International Joint Conference on Automated Reasoning

    IDMC 13 Rue Michel Ney, Nancy, France

    IJCAR 2024 will be organized in Nancy, France by the Inria research center at University of Lorraine as an in-person conference. It will take place at IDMC from July 1 to July 6, 2024. Important Dates Abstract submission: January 29, 2024 Paper submission: February 5, 2024 (AoE) Rebuttal: March 10-12, 2024 Notification: March 28, 2024 Camera-ready version: April 28, 2024 Co-located […]