| The morning sessions will be at the building Esprit in the Atrium | ||||
| Introduction | ||||
| 10h00-10h15 | Reception at Esprit | |||
| 10h15-10h35 | Cristal - Centre de Recherche en Informatique, Signal et Automatique de Lille | Olivier Colot: The Cristal Lab | Direction | |
| Dynamical Systems | ||||
| 10h35-11h00 | Algomus - Algorithmic Musicology | Mathieu Giraud: Analyser et générer la musique avec des représentations symboliques | ||
| 11h00-11h25 | Valse - Contrôle et estimation en temps fini pour les systèmes distribués | Rosanne Ushirobira: Sur la modélisation et l’estimation du comportement du vivant | CO2 - Control and scientific Computing | |
| 11h25-11h55 | Coffee break | |||
| BioInformatics | ||||
| 11h55-12h20 | BioComputing - Formal Methods for Computational Modeling and Simulation of Biological Systems | Joachim Niehren: Logical reasoning with reaction networks in systems biology | MSV - Modélisation pour les Sciences du Vivant | |
| 12h20-12h45 | Bonsai - BioInformatics | Antoine Limasset: Passage a l'échelle en bioinformatique | MSV - Modélisation pour les Sciences du Vivant | |
| 12h45-14h30 | Lunch (plateau repas a Esprit en face de l'Attrium) | |||
| The afternoon sessions will be at Inria Lille in the Amphi of building B | ||||
| Software Engineering and Programming Languages | ||||
| 14h30-14h55 | Spirals - Self adaptation for distributed services and large software systems | Clémentine Maurice: Sécurité du Web et des micro-architectures | GL - Génie Logiciel | |
| 14h55-15h20 | Rmod - Analyses et construction de langage pour l'évolution d'applications orientées objet | Guillermo Polito: High Performance Virtual Machines: Challenges and Approaches | GL - Génie Logiciel | |
| 15h20-15h45 | Sycomores - Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems | Patrick Baillot: Des types pour la complexité dans les calculs de processus | SEAS - Systèmes Embarqués Adaptatifs et Sécurisés | |
| 15h45-16h15 | Coffee break; outside on the terrace (Corona is greeting coldly) | |||
| Data, Machine Learning, Optimization | ||||
| 16h15-16h40 | Orkad - Operational Research, Knowledge And Data | Laetitia Jourdan: Paramétrage automatique d'algorithmes et complexité paramétrée pour l'optimisation multi-objectif | OPTIMA - OPTImisation : Modèles et Applications | |
| 16h40-17h05 | Links - Linking dynamic data | Mikael Monet: Shapley values for relational databases | DatInG - Data Intelligence Group | |
| 17h05-17h30 | Scool - Sequential, Continual, Online Learning | Emilie Kaufmann: Solve the exploration/exploitation dilemma | DatInG - Data Intelligence Group | |
Stéphane Le Roux, ENS Paris-Saclay
Mihaela Sighireanu, ENS Paris-Saclay