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