- Aix Marseille Université
- Analyse sémantique et compilation pour la sécurité des environnements d'exécution
- Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires
- Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
- Catholic University of Leuven = Katholieke Universiteit Leuven
- Centrale Lille
- CentraleSupélec
- Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
- Centre National de la Recherche Scientifique
- Collège de France
- Commissariat à l'énergie atomique et aux énergies alternatives
- Compilation et Analyse, Logiciel et Matériel
- Compilation pour les Architectures MUlti-coeurS
- Deduction modulo, interopérabilité et démonstration automatique
- Département d'informatique - ENS Paris
- Département Ingénierie Logiciels et Systèmes
- Direction de Recherche Technologique (CEA)
- École Centrale de Marseille
- École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg
- Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
- École normale supérieure de Lyon
- École normale supérieure - Paris
- Ecole Normale Supérieure Paris-Saclay
- École normale supérieure - Rennes
- École polytechnique
- Formally Verified Programs, Certified Tools and Numerical Computations
- Helmholtz Center for Information Security [Saarbrücken]
- IBM
- IBM Watson Research Center
- imec-DistriNet Research Group
- IMT Atlantique
- Inria de Paris
- Inria Grenoble - Rhône-Alpes
- Inria Lille - Nord Europe
- Inria Lyon
- Inria Nancy - Grand Est
- Inria Rennes – Bretagne Atlantique
- Inria Saclay - Ile de France
- Institut de Chimie - CNRS Chimie
- Institut de Mathématiques de Marseille
- Institut de Recherche en Informatique et Systèmes Aléatoires
- Institut Mines-Télécom [Paris]
- Institut National de la Santé et de la Recherche Médicale
- Institut National de Recherche en Informatique et en Automatique
- Institut National des Sciences Appliquées
- Institut National des Sciences Appliquées - Rennes
- Institut National des Sciences Appliquées - Strasbourg
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institut Polytechnique de Paris
- Laboratoire Cogitamus = Cogitamus Laboratory
- Laboratoire de l'Informatique du Parallélisme
- Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Laboratoire d'Intégration des Systèmes et des Technologies
- Laboratoire Méthodes Formelles
- LANGAGE ET GÉNIE LOGICIEL
- Langages de programmation : systèmes de types, concurrence, preuve de programme
- Les Hôpitaux Universitaires de Strasbourg
- Massachusetts Institute of Technology
- Matériaux et Nanosciences Grand-Est
- Parallélisme de Kahn Synchrone
- Programming securely with cryptography
- Réseau nanophotonique et optique
- Sorbonne Université
- Sound Programming of Adaptive Dependable Embedded Systems
- Université Claude Bernard Lyon 1
- Université de Bretagne Sud
- Université de Haute-Alsace (UHA) Mulhouse - Colmar
- Université de Lille
- Université de Lyon
- Université de Rennes
- Université de Strasbourg
- Université Grenoble Alpes
- Université Paris-Saclay
- Université Paris Sciences et Lettres
- University of Glasgow