Amandine LECOMTE (SEMAGRAMME), défendra sa thèse intitulée Etude des indices multimodaux discursifs au cours de la construction dialogique en entretien clinique auprès de sujets atteints de schizophrénie - Approche des conditions de possibilité ou de contrôle d’un « effet clinique ». La soutenance aura lieu en public le lundi 12 janvier 2026 à 9h30 dans l'amphithéâtre Gilles Kahn. […]
Le Procès du Robot est un format original mêlant sciences, société… et théâtre d’impro ! 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/
Le Loria a le plaisir d'accueillir des étudiant·es des classes prépa scientifiques du Lycée Henri Poincaré pour une demi-journées d'échanges et de conférences.
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 […]
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 […]
