November 9 - 10 2020
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: Information Theory for / by Deep Learning
11:15 – 11:30: Coffee break
11:30 – 11:45: Presentation of research committee - Pierre Zweigenbaum (LIMSI, CNRS) & Catherine Lepers (SAMOVAR, Télécom SudParis) - Head and Deputy Head of the research committee
11:45 – 12:30: 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:30 – 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: Phonetic variation in large corpora: results and prospects
16:00 – 16:30: Coffee break
16:30 – 17:30: PhD/Post-Doc scientific results session
- Scilex - Mohamed Fnadi: Towards a Robust and Guaranteed Model Predictive Control with Quantified Uncertainties
- Comex - Hirah Malik: Network Coding and Information Centric Networks
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:50 : Pitch poster PhD Students
- Fakher Sagheer: Bayesian statistical methods for joint user activity detection, channel estimation, and data decoding in dynamic wireless networks
- Mohamed Yacine El Haddad: Integrating automated provers in proof assistants
- Amélie Ledein: Definitions and proofs by induction in dependent type theory
- Loric Duhaze: Algorithmic properties and decision models of rotor walks
- Ali Younes: Continuously learning complex tasks via symbolic analysis
- Angelo Saadeh: Application of Secure Multiparty Computation
- Anfu Tang: Extraction of relational information from text in the biological domain
- Jérôme-Alexis Chevalier: Tools for statistical inference on high-dimensional neuro-imaging data
10:50 – 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 (CentraleSupélec) - Stéphane Maag (Telecom SudParis) - Head of the Teaching committee
12:15 – 12:30 : Speed Dating "Project or transversal initiatives” - Skills marketplace for project consortium creation
Marketplace for promoting ideas in order to set up new projects founded by DigiCosme. It is also the place for networking with colleagues from Paris Saclay plateau. Speedating provides a forum to meet and exchange information on different hot topics around different themes within DigiCosme. Prepare 2-3 slides describing your project and present them to colleagues in this slot.
12:30 – 13:45 : Lunch break
13:45 – 15:00 : Brainstorming workshop on the Labex axes cartography
3 parallel video sessions (Scilex, Comex, and IID) to identify and discuss hot research topics and researchers in each theme of Digicosme.
15:00 – 16:00 : Post-Doc scientific results session
- Scilex - Rehan Malak: Unification in the Lambdapi proof assistant
- Comex - Diego Delle Donne: MIP and Set Covering approaches for Sparse Approximation problems
16:00 – 16:15 : DigiCosme perspectives - Michel Kieffer - Coordinator of Labex DigiCosme (UP Saclay)
16:15 – 16:45 : Discussion between Digicosme executive committee and ISC