Journées 2026 du GT SCALP
Les rencontres 2026 du GT SCALP (Structures formelles pour le calcul et les preuves) du GDR IM auront lieu du 19 au 21 octobre au Loria. Invité·es Victoria Barrett, post-doc […]
Les rencontres 2026 du GT SCALP (Structures formelles pour le calcul et les preuves) du GDR IM auront lieu du 19 au 21 octobre au Loria. Invité·es Victoria Barrett, post-doc […]
Loïc Cardinaël (équipe OPTIMIST), soutiendra sa thèse le jeudi 21 octobre 2026 à 9h, avec un exposé intitulé " Optimisation des tournées de techniciens et de la planification des interventions […]
English below Lucca Hirschi (équipe Pesto) soutiendra son Habilitation à Diriger des Recherches le lundi 2 novembre 2026 à 14h00 en salle C005. La présentation se fera en anglais. Titre […]
La prochaine journée scientifique du Pôle AM2I intitulée Rhizomes 2026 : Journée graphes et systèmes socio-économiques aura lieu le lundi 9 novembre 2026 au Loria en salle B013. Les oratrices et orateurs de […]
Vincent Trelat, doctorant dans l'équipe Veridis, soutiendra sa thèse le 10 novembre 2026 à 9h30 au Loria, avec un exposé intitulé "Trustworthy Reasonig for the B method". Composition du jury […]
