Programme de la visite
- 09h00 – 09h30 : Accueil et Introduction du LIP6
- 09h30 – 11h30 : Session de présentations scientifiques #1 (6*20mn)
- 09h30 – 09h50 : Binh-Minh Bui-Xuan (NPA) - Des méta-théorèmes d'algorithmique de graphes vers la vérification des graphes temporels ?
- 09h50 – 10h10 : Alix Munier (ALSOC) – Complexité paramétrée en ordonnancement
- 10h10 – 10h30 : Christoph Dürr (RO) – Online algorithm with predictions
- Pause (environ 5 minutes)
- 10h30 – 10h50 : Carola Doerr (RO) – Optimisation de problèmes complexes avec des algorithmes dits "heuristiques" ou "boîte noir"
- 10h50 – 11h10 : Quentin Meunier (ALSOC) – Attaques par canaux auxiliaires et contre-mesures
- 11h10 – 11h30 : Maria Potop-Butucaru (NPA) – Aspects algorithmiques des blockchains et de l'apprentissage distribué
- Pause (environ 5 minutes)
- 11h45 – 12h45 : Speed-Meeting avec les orateurs de la première session
- 12h45 – 14h00 : Pause Déjeuner
- 14h00 – 16h00 : Session de présentations scientifiques #2 (6*20mn)
- 14h00 – 14h20 : Vincent Neiger (PolSys) – Calculer efficacement avec des polynômes, des matrices, et d'autres objets mathématiques
- 14h20 – 14h40 : Lionel Tabourier (ComplexNetwork) - L'analyse de réseaux complexes : décrire et comprendre les grands jeux de données d'interactions
- 14h40 – 15h00 : Jean-Paul Chaput (ALSOC/CIAN/QI/SYEL) – Open Hardware & Coriolis
- Pause (environ 5 minutes)
- 15h00 – 15h20 : Cédric Herpson (SMA) – TerraNeon
- 15h20 – 15h40 : Elham Kashefi (QI) – Networked Quantum Computing as a Service: How to address collectively the challenges of Scalability, Privacy and Integrity
- 15h40 – 16h00 : Isabelle Bloch (LFI) – La recherche en intelligence artificielle explicable dans l'équipe LFI
- Pause (± 5min)
- 16h15 - 17h15 : Speed-Meeting avec les orateurs de la seconde session
- 17h15 : Fin de la visite de laboratoire