- ANSYS
- Aarhus University [Aarhus]
- Algorithmes, Programmes et Résolution
- Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
- CEA- Saclay
- CentraleSupélec
- 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
- Deduction modulo, interopérabilité et démonstration automatique
- Departamento de Informática
- Design, study and implementation of languages for proofs and programs
- Direction de Recherche Technologique (CEA)
- Département d'informatique - ENS Paris
- Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
- Ecole Normale Supérieure Paris-Saclay
- Faculdade de Ciências e Tecnologia = School of Science & Technology
- Formally Verified Programs, Certified Tools and Numerical Computations
- Functori
- Gallinette : vers une nouvelle génération d'assistant à la preuve
- IBM
- IBM Watson Research Center
- IMT Atlantique
- Inria Lyon
- Inria Rennes – Bretagne Atlantique
- Inria Saclay - Ile de France
- Inria de Paris
- Institut Mines-Télécom [Paris]
- Institut National de Recherche en Informatique et en Automatique
- Institut National des Sciences Appliquées - Rennes
- Institut Pascal
- Institut de Recherche en Informatique Fondamentale
- Institut de Recherche en Informatique et Systèmes Aléatoires
- Institut national polytechnique Clermont Auvergne
- KTH Royal Institute of Technology [Stockholm]
- LANGAGE ET GÉNIE LOGICIEL
- LIP6
- Laboratoire Bordelais de Recherche en Informatique
- Laboratoire Cogitamus
- Laboratoire Méthodes Formelles
- Laboratoire d'Algorithmique Complexité et Logique
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'Intégration des Systèmes et des Technologies
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Laboratoire de l'Informatique du Parallélisme
- Laboratoire des Sciences du Numérique de Nantes
- Langages de programmation : systèmes de types, concurrence, preuve de programme
- LexiFi [Boulogne-Billancourt]
- MIT Computer Science & Artificial Intelligence Lab
- Massachusetts Institute of Technology
- Mitsubishi Electric R&D Centre Europe [France]
- Mitsubishi Electric [France]
- NOVA Laboratory for Computer Science and Informatics
- Nantes Université
- Nantes Université - pôle Sciences et technologie
- Nantes université - UFR des Sciences et des Techniques
- Nomadic Labs
- OCamlPro SAS
- ONERA
- ONERA | DTIS, Université de Toulouse [Toulouse]
- PRES Université de Toulouse
- Parallélisme de Kahn Synchrone
- Programming securely with cryptography
- Software certification with semantic analysis
- Sorbonne Université
- Tarides [Paris]
- Universidade Nova de Lisboa = NOVA University Lisbon
- Université Claude Bernard Lyon 1
- Université Clermont Auvergne
- Université Côte d'Azur
- Université Paris Cité
- Université Paris sciences et lettres
- Université Paris-Est Créteil Val-de-Marne - Paris 12
- Université Paris-Saclay
- Université Sorbonne Paris Nord
- Université de Bordeaux
- Université de Bretagne Sud
- Université de Lyon
- Université de Rennes
- École Centrale de Nantes
- École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
- École normale supérieure - Paris
- École normale supérieure - Rennes
- École normale supérieure de Lyon
- École polytechnique