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