Active working groups

Axe: ScilexCoordinators: Caroline Fontaine (CNRS, LMF, caroline.fontaine@lsv.fr) et Duong Hieu Phan (Telecom Paris, LTCI, hieu.phan@telecom-paris.fr )Laboratory: LMFOther laboratories involved: DAVID, Inria, LIST, LIX, LMV, LTCI, SAMOVARInvolved teams (alphabetical order): DAVID EPI PETRUS, LIST (CEA) crypto group, LIX EPI GRACE & TYPICAL team, LMF security team, LMV crypto team, LTCI MC2 team, SAMOVAR R3S team Presentation: Privacy is a part of security that… Read more: 2021 | COFFY – CryptOgraphy & Formal method For privacY

Axe : IID, Scilex Coordinateurs : Guillaume Charpiat, équipe TAU, LRI / INRIA Saclay Zakaria Chihani, équipe LSL, CEA-List/Saclay Laboratoire gestionnaire : Inria SIF Autres laboratoires impliqués : LIST, LRI, LSV, LTCI Équipes concernées et liste des participants : LRI / INRIA Saclay via l’équipe TAU : Guillaume Charpiat, Michèle Sébag LSV : Stefan Haar,… Read more: 2020 | vrAI: FOrmal VeRification and AI

Axe : Scilex Coordinateurs : Évelyne Contejean, LRI, équipe VALS Stefania Dumbrava, ENSIIE & Samovar Laboratoire gestionnaire : LRI Autres laboratoires impliqués : SAMOVAR Équipes concernées et liste des participants : — Équipe Méthodes (Samovar) : Catherine Dubois, Stefania Dumbrava, Julien Forest — Équipe Vals (LRI, LMF) : Thibaut Balabonski, Véronique Benzaken, Évelyne Contejean, Chantal… Read more: 2020 | TransForm: Transactions Formelles

Axe : IID Coordinateurs : Guillaume Charpiat, équipe TAU, LRI / INRIA Saclay Lionel Mathelin, LIMSI Laboratoire gestionnaire : Inria SIF Autres laboratoires impliqués : LIMSI, LRI, MICS Équipes concernées et liste des participants : LRI / INRIA Saclay via l’équipe TAU : Michele Alessandro Bucci, Guillaume Charpiat, Marc Schoenauer LIMSI : Lionel Mathelin, Onofrio… Read more: 2020 | SNAP: Simulations numériques et apprentissage

Axe : Comex Coordinateurs : Véronique Vèque, Université Paris‐Saclay, L2S Houda Labiod, Télécoms Paris, L2TI Laboratoire gestionnaire : L2S Autres laboratoires impliqués : LTCI Présentation : In recent years, the development of digital technologies have transformed every aspect of our society including transportation, industry, energy supply, health, entertainment and everyday life. As examples, the manufactory… Read more: 2020 | Net4Vertical – Network Issues in vertical Applications

Axe : IID Coordinateurs : Michele Sebag (LRI – UMR 8623, Univ. Paris-Saclay), Dominique Fourer (IBISC – EA4526, Univ. Evry) Laboratoire gestionnaire : LRI Autres laboratoires impliqués : IBISC, L2S, LTCI Équipes concernées et liste des participants : 1. LRI – équipe TAU — Michele Sebag (DR) — Éléonore Bartenlian (Doctorante) 2. IBISC – équipe… Read more: 2020 | Deep-TS – Apprentissage profond pour le traitement du signal

Axe : ScilexCoordinateurs : Olivier BOURNEZ (LIX, Ecole Polytechnique, Institut Polytechnique de Paris) et Arpad RIMMEL (LRI, Université Paris Sud, Université Paris-Saclay).Laboratoire gestionnaire : LIXAutres laboratoires impliqués : DAVID, IBISC, LIPaRAD, LRIÉquipes concernées et liste des participants : ● Equipe « Graphes, Algorithmes et Combinatoire» du LRI (Université Paris Sud), Arpad Rimmel● Equipe « ALCO,… Read more: 2019 | Algo: Algorithmique et complexité du Plateau de Saclay

Axe : SciLexCoordinateur : Chantal KellerObjectif : Utiliser les preuves comme protocoles de communication entre systèmes de preuvesFinancement Labex : 2017 Les réunions du GT sont ouvertes à tous ! Si vous ne faites pas partie du GT UPSCaLe, merci de préciser votre venue à Chantal Keller. Scientific day Tuesday, October 9, 2018 Seminars Friday afternoon, November 29, 2019 Tuesday afternoon,… Read more: 2018 | UPSCaLe : Universality of Proofs in SaCLay

Axe : comEx Coordinateurs : Catherine Lepers Elie Awwad Financement Labex : 2018-present Laboratoire gérant le financement : SAMOVAR Productions Scientifiques Présentation : Ce GT se situe dans la tâche “Communications Optiques” de l’axe Comex du Labex. La thématique de ce GT est de se préoccuper des problématiques réseaux optiques fibrées courte et longue distance.… Read more: 2018 | O’COMEX : Optical Communications in Comex

Axe : DataSence Coordinateur : Mehdi Ammi Domaines: TIC et Santé Financement Labex : 2017 Présentation L’augmentation et le vieillissement de la population, les bouleversements climatiques, mais également les mouvements migratoires vont confronter nos sociétés à des défis de santé de plus en plus importants comme les risques liés aux épidémies, le suivi des maladies… Read more: 2017 | Groupe de Travail E-Santé

Axe : ComExCoordinateurs : Kinda KhawamObjectif : L’objectif d’un tel GT est de renforcer les collaborations entre les équipes Digicosme à travers des échanges réguliers, des co-publications, l’organisation d’événements (workshops…), mais aussi de développer la visibilité du groupe de travail et de Digicosme en France et à l’étranger.Financement Labex : 2017 CDD Ingénieur de recherche du 01/12/2019 – 01/11/2020 Tuteurs:… Read more: 2017 | FAN: Future Access Networks