Bastien Laboureix (Adagio) soutiendra sa thèse intitulée "Hyperplans arithmétiques : connexité, reconnaissance & transformations" le 19 juin à 14h en salle A008. Résumé Le monde numérique est parsemé de structures mathématiques discrètes, destinées à être facilement manipulables par un ordinateur tout en donnant à notre cerveau l’impression d’être de belles formes réelles continues. Les images […]
Miguel Couceiro and Pierre Monnin are organizing the workshop FCA4AN: Friends, Concepts & Acoustics for Amedeo Napoli on Thursday, June 20 in room A008. On the program: reminiscing scientific work, friendly moments and funny stories that we shared with Amedeo Napoli. • 09h00-09h30: Yannick Toussaint & medal ceremony• 09h30-09h45: Sergey O. Kuznetsov• 09h45-10h00: Marianne Huchard• […]
Plongez dans l'univers fascinant de Dune pendant La Soirée Cult' Préparez-vous à un voyage épique dans les déserts lointains d'Arrakis, où le sable cache des mystères et des intrigues inoubliables. La Soirée Cult' vous invite à explorer l'univers riche et captivant de Dune, à la fois dans ses écrits originaux et dans ses adaptations cinématographiques emblématiques. Commencez […]
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 […]
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 […]
