Évènements

Recherche et navigation de vues Évènements

Navigation de vues Évènement

Aujourd’hui

  • Colloquium du Loria : Laura Kovács

    Amphithéâtre du Loria

    The Loria is proud to announce a colloquium presentation by Laura Kovács on Induction and synthesis in saturation-based theorem proving. Laura Kovács is a professor at the Faculty of Informatics of Vienna University of Technology (Vienna, Austria) and a leading researcher in the field of automated reasoning and symbolic computation. Abstract: Proof by induction is […]

  • Soutenance de thèse de Alessio Coltellacci

    C005 Loria

    Alessio Coltellacci (Veridis), défendra sa thèse intitulée Reconstruction des preuves SMT dans Lambdapi. La soutenance se déroulera en anglais le lundi 26 janvier 2026 à 14h au LORIA, en salle C005. Elle sera suivie d'un pot devant la salle. Pour ceux qui ne pourraient pas venir, la soutenance sera diffusée en visio (accessible à partir […]

  • Le Procès du Robot

    lycée Chopin Nancy

    Le Procès du Robot est un format original mêlant sciences, société… et théâtre d’impro ! Le tout à destination de classes de secondes en lycée. Un moment d’échanges et de réflexions autour des grands enjeux de l'IA et ses applications quotidiennes… https://iww.inria.fr/NanSciNum/theatre-scientifique/le-proces-du-robot/

  • Soutenance de thèse de Aya Yaacoub

    A008

    The thesis is entitled "Mitigating Musculoskeletal Disorders: Cobot Behavior Planning for Human Fatigue Reduction in Repetitive Tasks". The defense will be followed by a Lebanese pot in the space adjacent to room C005. Jury Members: Reviewers: Caroline Chanel Professor, University of Toulouse Arash Ajoudani Researcher, Italian Institute of Technology Examinator: David Daney Researcher, INRIA-University of […]