Skip to content
Labex DigiCosme
  • À propos
    • Contact
    • Présentation Labex DigiCosme
    • Partenaires
    • Organisation
      • Organigramme
      • Comité des tutelles
      • Comité scientifique
      • Comité exécutif
      • Commission Recherche et Innovation
      • Commission Formation
    • Mentions légales et crédits
  • Recherche et Innovation
    • Groupes de travail actifs
    • Axes de Recherche & actions
    • Axe SciLex
    • Axe ComEx
    • Axe IID – ex DataSense
    • Sujets chauds
    • Innovation
    • Actions financées
    • Journées recherche
  • Formation
    • Actions
    • Bourses Master
    • Professeur invités
  • Appel à projets
    • Appel à projets en cours
    • Processus de sélection
    • Historique des appels
  • Événements
    • Écoles Thématique
    • Prix STIC
    • JDSE
    • JWOC la conférence junior sur les communications sans fil et optiques
    • Concours NSI
  • Publications
    • Publications SciLex
    • Publications ComEx
    • Publications IID-DataSense
  • Intranet
  • English
Menu Fermer
  • À propos
    • Contact
    • Présentation Labex DigiCosme
    • Partenaires
    • Organisation
      • Organigramme
      • Comité des tutelles
      • Comité scientifique
      • Comité exécutif
      • Commission Recherche et Innovation
      • Commission Formation
    • Mentions légales et crédits
  • Recherche et Innovation
    • Groupes de travail actifs
    • Axes de Recherche & actions
    • Axe SciLex
    • Axe ComEx
    • Axe IID – ex DataSense
    • Sujets chauds
    • Innovation
    • Actions financées
    • Journées recherche
  • Formation
    • Actions
    • Bourses Master
    • Professeur invités
  • Appel à projets
    • Appel à projets en cours
    • Processus de sélection
    • Historique des appels
  • Événements
    • Écoles Thématique
    • Prix STIC
    • JDSE
    • JWOC la conférence junior sur les communications sans fil et optiques
    • Concours NSI
  • Publications
    • Publications SciLex
    • Publications ComEx
    • Publications IID-DataSense
  • Intranet
  • English

groupes de travail SciLex

2021 | C2-SyDiC : Contrôle et Certification de Performance de Systèmes Distribués Communicants

Axe : 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,…

Continuer la lecture2021 | C2-SyDiC : Contrôle et Certification de Performance de Systèmes Distribués Communicants

2021 | COFFY – CryptOgraphy & Formal method For privacY

Axe : 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…

Continuer la lecture2021 | COFFY – CryptOgraphy & Formal method For privacY

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…

Continuer la lecture2020 | TransForm: Transactions Formelles

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,…

Continuer la lecture2019 | Algo: Algorithmique et complexité du Plateau de Saclay

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,…

Continuer la lecture2020 | vrAI: FOrmal VeRification and AI

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.…

Continuer la lecture2018 | TheoBioR: Méthodes informatiques pour la modélisation et l’analyse des réseaux biologiques 

2018 | HicDiesMeus: Highly Constrained Discrete Agents for Modeling Natural Systems

Axe : 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…

Continuer la lecture2018 | HicDiesMeus: Highly Constrained Discrete Agents for Modeling Natural Systems

2018 | SDT: Sécurité des données textuelles

Axe : IID - ScilexCoordinateur : Cyril GROUINObjet du groupe de travail : sécurité des données textuelles contenues dans des documents ou des bases de donnéesProductions Scientifiques :En attente de…

Continuer la lecture2018 | SDT: Sécurité des données textuelles

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…

Continuer la lecture2018 | UPSCaLe : Universality of Proofs in SaCLay

2017 | PeRSPECTiVE

Axe :ScilexCoordinateurs : Évelyne Contejean et Stéphane DemriObjectif : Le rapprochement du LSV avec VALS, permettra de constituer une masse critique d’environ 50 permanents et être l’amorce d’un pôle de…

Continuer la lecture2017 | PeRSPECTiVE
  • 1
  • 2
  • Aller à la page suivante
  • 10 juin à 9h30 - 13h00 CEST à Bâtiment Eiffel – CentraleSupélec

    Séminaire Digicosme du groupe de travail «Future Access Networks»

Mes tweets

Articles récents

  • Access to STIC “PhD students” prize 2022 – Plateau de Saclay
  • Access to Spring School 2022
  • Poster session informations Spring School 2022
  • Spring School day four April, 8th
  • Thursday, April 7th, Spring School 2022

Commentaires récents

  • Research Days 2021 – Labex DigiCosme dans 2019 | ROTOR Algorithmic properties of rotor walks in graphs, and related decision models
  • Thematic Schools – Labex DigiCosme dans DigiCosme Spring School 2013
  • STIC “PhD students” prize – Plateau de Saclay – Labex DigiCosme dans STIC PRIZE 2021
  • Prix STIC « Doctorants » du plateau de Saclay 2020 – Labex DigiCosme dans PRIX STIC 2020
  • JWOC – Labex DigiCosme dans JWOC 2021
Copyright - OceanWP Theme by OceanWP