• Fête de la Science : Village des Sciences de la Faculté des Sciences et Technologies

    Faculté des Sciences et Technologies Campus Aiguillettes, Vandœuvre-lès-Nancy, France

    Les 9 et 10 octobre 2026, le Campus Sciences de Vandœuvre-lès-Nancy accueillera le Village des Sciences, un rendez-vous incontournable de la Fête de la Science. Pendant deux jours, chercheurs, enseignants, médiateurs et passionnés proposeront des animations, ateliers, démonstrations et échanges autour de multiples disciplines : mathématiques, chimie, énergie, informatique, sciences de la Terre, ingénierie, santé, […]

  • Soutenance de thèse : Rémi Gauchotte (équipe Optimist)

    A008

    Rémi Gauchotte (équipe OPTIMIST), soutiendra sa thèse le vendredi 16 octobre 2026 à 10h en salle A008, avec un exposé intitulé " Orchestration de la recharge des véhicules électriques : décision en ligne, équité et apprentissage par renforcement transférable ". Composition du jury : Rapporteurs : Pr. Jean Charles Billaut, Université de Tours, France Dr. Sophie […]

  • Soutenance HDR – Lucca Hirschi ( équipe Pesto )

    C005

    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 : “Formal Methods and Real-World Cryptographic Protocols: Advancing the Verification and Testing Frontiers for Specifications and Implementations” Résumé : " Les protocoles cryptographiques sont les […]

  • Rhizome 2026 : Journée graphes et systèmes socio-économiques – Journée scientifique du Pôle AM2i

    B013

    La prochaine journée scientifique du Pôle AM2I intitulée Rhizome 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 cette journée consacrée aux réseaux, notamment socio-économique, sous un angle inter-disciplinaire, sont : Sohie Béreau-Gnabo, institut des systèmes complexes, Université de Namur Samer El Boustany, Murex […]

  • Soutenance de thèse : Vincent Trelat (équipe Veridis)

    A008

    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 : Stephan Merz, directeur de recherches Inria au Loria (encadrant) Sophie Tourret, chargée de recherches Inria au Loria (encadrante) Jean-Christophe Filliâtre, LMF (rapporteur) Michael Leuschel, […]