![[Show/Hide Left Column]](img/icons/oleftcol.png "[Show/Hide Left Column]"){kind=icon}
November 9 - 10 2020
Bâtiment Bouygues - Centrale Supélec and online
INSCRIPTIONS
Bâtiment Bouygues - Centrale Supélec
9 Rue Joliot Curie, 91190 Gif-sur-Yvette
Amphi Peugeot
OU
EN LIGNE
Once a year, Labex DigiCosme (Digital Worlds) presents its research topics and results: software security and reliability, cryptography, cyber-physical systems, formal methods, smart networks, internet of things, smart cities, data science, deep learning, text mining, artificial intelligence.
Une fois par an, le Labex DigiCosme (mondes numériques) communique sur ses thèmes et résultats de recherche : sécurité et fiabilité des logiciels, cryptographie, systèmes cyber-physiques, méthodes formelles, réseaux intelligents, internet des objets, villes intelligentes, science des données, apprentissage profond, fouille de texte, intelligence artificielle.
Monday, 9th November, 2020
10:00 – 10:15: Opening session - Michel Kieffer (L2S, UP Saclay) & Bruno Defude (SAMOVAR, IP Paris) - Head and Deputy head of Labex DigiCosme
10:15 – 11:15: Keynote talk (IID) - Pablo Piantanida: Learning and information theory
11:15 – 11:45: Coffee break
11:45 – 12:00: Presentation of research committee - Pierre Zweigenbaum (LIMSI, CNRS) & Catherine Lepers (SAMOVAR, Télécom SudParis) - Head and Deputy Head of the research committee
12:00 – 12:45: Overview of research activities
Scilex - Dominique Barth (DAVID, UVSQ) & Benedikt Bollig (LSV, ENS Paris Saclay)
Comex - Hind Castel (SAMOVAR, Telecom SudParis), Marco Di Renzo (L2S, CNRS)
IID (Datasense) - Céline Hudelot (MICS, CentraleSupélec) & Pierre Dragicevic (Inria Saclay)
12:45 – 14:00: Lunch break
14:00 – 15:00: Keynote talk (Scilex) - Constantin Enea: Reasoning About Concurrent Data Types
15:00 – 16:00: Post-Doc scientific results session
Comex - Chaima Zidi: Cross-layer networks to leverage optical functionalities
IID (Datasense) - Mathilde Hutin: La variation phonétique dans les grands corpus: résultats et perspectives
16:00 – 16:30: Coffee break
16:30 – 17:30: PhD/Post-Doc scientific results session
Comex - Hirah Malik: Network Coding and Information Centric Networks
Scilex - Rehan Melak: Unification in the Lambdapi proof assistant
17:30 – 18:00: Some perspectives from the themes
Tuesday, 10th November, 2020
9:30 – 10:30 : Keynote talk (ComEx) - Merouane Debbah: Rebuilding the Theoretical Foundations of Communication and Computing
10:30 – 10:45 : Pitch poster PhD Students
10:45 – 11:30 : Coffee break and poster session
11:30 – 12:00 : Some perspectives from the themes
12:00 – 12:15 : Presentation of training committee - Pascale Le Gall - Stéphane Maag (Telecom Sud Paris) - Head of the Teaching committee
12:15 – 12:30 : Speed Dating "Project or transversal initiatives” - Skills marketplace for project consortium creation
12:30 – 13:45 : Lunch break
13:45 – 15:00 : Brainstorming workshop on the Labex axes cartography
15:00 – 16:00 : Post-Doc scientific results session
Scilex - Mohamed Fnadi : Towards a Robust and Guaranteed Model Predictive Control with Quantified Uncertainties
Comex - Diego Delle Donne: MIP and Set Covering approaches for Sparse Approximation problems
16:00 – 16:15 : DigiCosme development - Michel Kieffer - Coordinator of Labex DigiCosme (UP Saclay)
16:15 – 16:45 : Discussion between Digicosme executive committee and ISC