- 2021 | COFFY – CryptOgraphy & Formal method For privacY
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 […]
- 2020 | vrAI: FOrmal VeRification and AI
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, […]
- 2020 | TransForm: Transactions Formelles
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 […]
- 2020 | SNAP: Simulations numériques et apprentissage
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 […]
- 2020 | Net4Vertical – Network Issues in vertical Applications
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 […]
- 2020 | Deep-TS – Apprentissage profond pour le traitement du signal
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 […]
- 2019 | Algo: Algorithmique et complexité du Plateau de Saclay
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, […]
- 2018 | UPSCaLe : Universality of Proofs in 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, […]
- 2018 | O’COMEX : Optical Communications in Comex
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. […]
- 2017 | Groupe de Travail E-Santé
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 […]
- 2017 | FAN: Future Access Networks
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: […]