• 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 : Scilex Coordinateurs : Olivier BOURNEZ (LIX, Ecole Polytechnique, Institut Polytechnique de Paris) et Arpad RIMMEL (LRI, Université Paris Sud, Université Paris-Saclay). Laboratoire gestionnaire : LIX Autres 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 […]
  • 2018 |O’COMEX : Optical Communications in Comex
    Axe : comEx Coordinateurs : Catherine Lepers Elie Awwad Financement Labex : 2018 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. […]
  • 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, […]
  • 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: […]