- 2021 | D2K+ De la Donnée à la ConnaissancePage de 2015 Animatrices : Claire Nédellec et Fatiha Saïs Axe 3 IID (data sense), principalement IID-1 : Data management, knowledge representation and reasoning Partant du constat que les données et les connaissances sont partout, multiformes, multi-sources, complexes et volumineuses, la communauté scientifique internationale et française s’est intéressée aux processus de publication, d’intégration et de… Lire la suite : 2021 | D2K+ De la Donnée à la Connaissance
- 2021 | COFFY – CryptOgraphy & Formal method For privacYAxe : ScilexCoordinateurs : Caroline Fontaine (CNRS, LMF, caroline.fontaine@lsv.fr) et Duong Hieu Phan (Telecom Paris, LTCI, hieu.phan@telecom-paris.fr )Laboratoire gestionnaire : LMFAutres laboratoires impliqués : DAVID, Inria, LIST, LIX, LMV, LTCI, SAMOVARÉquipes concernées et liste des participants (ordre alphabétique) : DAVID EPI PETRUS, LIST (CEA) crypto group, LIX EPI GRACE & TYPICAL team, LMF security team, LMV crypto team, LTCI MC2 team, SAMOVAR… Lire la suite : 2021 | COFFY – CryptOgraphy & Formal method For privacY
- 2021 | C2-SyDiC : Contrôle et Certification de Performance de Systèmes Distribués CommunicantsAxe : ScilexCoordinateurs : Mohammed CHADLI, IBISC (équipe SIAM) Hélène PIET-LAHANIER, ONERA (DTIS) Ulrich FAHRENBERG, LIX (équipe Cosynus) Laboratoire gestionnaire : IBISC (M. Chadli)Équipes concernées : IBISC (équipe SIAM) : M. Chadli, Lydie Nouvelière, Said Mammar LIX (équipe Cosynus) : U. Fahrenberg, Éric Goubault, Sergio Mover ONERA (DTIS) : Hélène Piet-Lahanier , Sylvain Bertrand, Luc Meyer L2S :… Lire la suite : 2021 | C2-SyDiC : Contrôle et Certification de Performance de Systèmes Distribués Communicants
- 2020 | vrAI: FOrmal VeRification and AIAxe : 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,… Lire la suite : 2020 | vrAI: FOrmal VeRification and AI
- 2020 | TransForm: Transactions FormellesAxe : 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… Lire la suite : 2020 | TransForm: Transactions Formelles
- 2020 | SNAP: Simulations numériques et apprentissageAxe : 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… Lire la suite : 2020 | SNAP: Simulations numériques et apprentissage
- 2020 | Net4Vertical – Network Issues in vertical ApplicationsAxe : 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… Lire la suite : 2020 | Net4Vertical – Network Issues in vertical Applications
- 2020 | Deep-TS – Apprentissage profond pour le traitement du signalAxe : 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… Lire la suite : 2020 | Deep-TS – Apprentissage profond pour le traitement du signal
- 2019 | PASADENA – Prédiction et analyse de données structurées et hétérogènesAxe : IID Coordinateurs : Arthur Tenenhaus (L2S), Flora Jay (LRI) et Maxime Sangnier (LPSM, LIP6) Laboratoire gestionnaire : L2S Autres laboratoires impliqués : IBISC, INRIA, LIMSI, LIX, LRI, LTCI, MICS Équipes concernées et liste des participants : Au sein de l’Université Paris-Saclay • LTCI (Télécom ParisTech) : Chloé Clavel, Slim Essid, Florence d’Alché-Buc •… Lire la suite : 2019 | PASADENA – Prédiction et analyse de données structurées et hétérogènes
- 2019 | Algo: Algorithmique et complexité du Plateau de SaclayAxe : 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,… Lire la suite : 2019 | Algo: Algorithmique et complexité du Plateau de Saclay
- 2018 | UPSCaLe : Universality of Proofs in SaCLayAxe : 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,… Lire la suite : 2018 | UPSCaLe : Universality of Proofs in SaCLay
- 2018 | TheoBioR: Méthodes informatiques pour la modélisation et l’analyse des réseaux biologiques Axe: SciLex Coordinateur : Stefan Haar (Inria Saclay-Île-de-France/LSV) , Sabine Peres, LRI, Loïc Paulevé (CNRS/LRI) Objectif : Séminaires réguliers et travail collaboratif sur le thème de l’analyse des réseaux biologiques. Financement Labex en : 2016/2019 Mailing-list: gt-theobior@lists.lri.fr Le GT TheoBioR porte sur les méthodes informatiques pour la modélisation et l’analyse des réseaux biologiques. Ceci inclut… Lire la suite : 2018 | TheoBioR: Méthodes informatiques pour la modélisation et l’analyse des réseaux biologiques
- 2018 | O’COMEX : Optical Communications in ComexAxe : comExCoordinateurs : Catherine Lepers, Elie AwwadFinancement Labex : 2017-2021 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 ainsi que des problématiques des systèmes de communication optique sans… Lire la suite : 2018 | O’COMEX : Optical Communications in Comex
- 2018 | HicDiesMeus: Highly Constrained Discrete Agents for Modeling Natural SystemsAxe : Scilex Coordinateurs : Matthias Függer, LMF, mfuegger@lsv.fr Thomas Nowak, LISN, thomas.nowak@lri.fr Laboratoire gestionnaire : LSV Autres laboratoires impliqués : LRI Présentation : The purpose of the working group is to lie the foundations for a collaboration network that covers the modeling of physical and biological systems by discrete multi-agent systems. The group’s scientific goal is… Lire la suite : 2018 | HicDiesMeus: Highly Constrained Discrete Agents for Modeling Natural Systems
- 2017 | FAN: Future Access NetworksAxe : ComEx Coordinateurs : Kinda Khawam Objectif : 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… Lire la suite : 2017 | FAN: Future Access Networks