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