Journée de rentrée - 23 septembre 2024 Mot de bienvenue de la direction de l'UFR d'Informatique et de la direction de l'IRIF suivi par des présentations des nouveaux arrivants Amphi Turing, Sophie Germain Programme : 10h30-10h45 : Accueil des directions de l'IRIF et de l'UFR d'Informatique 10h45-12h30 : Présentations des nouveaux (ou presque nouveaux) membres permanents et d'un visiteur longue durée. Ils ont confirmé leur participation : 10h45 - 11h00 : Christina Boura (Professeure) | Cryptanalyse des chiffrements symétriques 11h00 - 11h15 : Tayssir Touili (Directrice de recherche) | Model checking for malware detection 11h15 - 11h30 : Julien Narboux (Maître de Conférence) | Automatic and interactive proof in geometry 11h30 - 11h45 : Guillaume Baudart (Chargé de recherche - INRIA ISFP ) | Programmation réactive et probabiliste 11h45 - 12h00 : Cléophée Robin (Maître de Conférence) | On the complexity of the coloring problem in antiprismatic graphs Michele Orrù (Chargé de recherche - CNRS) et Iordanis Kerenidis (Directeur de recherche - CNRS) ne pourront pas être présents à cette journée. Les transparents présentés lors de cette journée sont disponibles sur l'intranet. Buffet servi au 4ème étage de l'IRIF 12h30-14h00 : Buffet servi dans l'espace commun, dans le bâtiment Sophie Germain, au 4ème étage.