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 lecture 2020 | TransForm: Transactions Formelles

2018 | O’COMEX : Optical Communications in Comex

Axe : comEx
Coordinateurs : Catherine Lepers, Elie Awwad
Financement 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 fils. Les plus importantes directions de recherche du GT s’articulent autour du :

  • Traitement des effets non-linéaires dans la fibre
  • Traitement des schémas multi-voies (systèmes WDM, fibres multi-cœurs, multi-modes)
  • Optimisation des réseaux optiques notamment sa consommation énergétique et sa capacité de se reconfigurer et se rétablir suite aux anomalies.
  • Codage pour les systèmes optiques
  • Apprentissage automatique appliqué aux systèmes de communication

Équipes concernées :

  • LSS : Antoine Berthet, Zeno Toffano
  • LTCI : Elie Awwad, Philippe Ciblat, Yves Jaouën, Ghaya Rekaya, Mansoor Yousefi, Cédric Ware
  • SAMOVAR : Badr-Eddine Benkelfat, Catherine Lepers, Mounia Lourdiane

Actualités :

(suite…)

Continuer la lecture 2018 | O’COMEX : Optical Communications in Comex

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 lecture 2020 | vrAI: FOrmal VeRification and AI

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 lecture 2018 | UPSCaLe : Universality of Proofs in SaCLay