- Aarhus University [Aarhus]
- Algorithmes, Programmes et Résolution
- Armadillo
- CentraleSupélec
- Centre d'études et de recherche en informatique et communications
- Centre National de la Recherche Scientifique
- Commissariat à l'énergie atomique et aux énergies alternatives
- Conservatoire National des Arts et Métiers [CNAM]
- Département Ingénierie Logiciels et Systèmes
- Department of Computer Science [Aarhus]
- Design, study and implementation of languages for proofs and programs
- Direction de Recherche Technologique (CEA)
- École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
- Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
- École polytechnique
- Formally Verified Programs, Certified Tools and Numerical Computations
- HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université
- Inria de Paris
- Inria Saclay - Ile de France
- Institut de Recherche en Informatique Fondamentale
- Institut National de Recherche en Informatique et en Automatique
- Laboratoire Bordelais de Recherche en Informatique
- Laboratoire de Recherche en Informatique
- Laboratoire de Sûreté et de sécurité des Logiciels
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Laboratoire d'Intégration des Systèmes et des Technologies
- Langages de programmation, types, compilation et preuves
- LIP6
- Proof search and reasoning with logic specifications
- Sorbonne Université
- Université de Bordeaux
- Université Paris Diderot - Paris 7
- Université Paris-Saclay
- Université Paris-Sud - Paris 11
- University of Beira Interior [Portugal]