-
Aarhus University [Aarhus]
-
Algorithmes, Programmes et Résolution
-
ANSYS
-
Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing
-
Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
-
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
-
Département d'informatique - ENS Paris
-
Département Ingénierie Logiciels et Systèmes
-
Design, study and implementation of languages for proofs and programs
-
Direction de Recherche Technologique (CEA)
-
DTIS, ONERA, Université de Toulouse [Toulouse]
-
É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 normale supérieure de Lyon
-
École normale supérieure - Paris
-
Ecole Normale Supérieure Paris-Saclay
-
École normale supérieure - Rennes
-
École polytechnique
-
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 de Paris
-
Inria Lyon
-
Inria Rennes – Bretagne Atlantique
-
Inria Saclay - Ile de France
-
Institut de Recherche en Informatique et Systèmes Aléatoires
-
Institut de Recherche en Informatique Fondamentale
-
Institut Mines-Télécom [Paris]
-
Institut National de Recherche en Informatique et en Automatique
-
Institut National des Sciences Appliquées - Rennes
-
Institut national polytechnique Clermont Auvergne
-
Institut Pascal
-
Institut Polytechnique de Paris
-
KTH Royal Institute of Technology [Stockholm]
-
Laboratoire Bordelais de Recherche en Informatique
-
Laboratoire Cogitamus = Cogitamus Laboratory
-
Laboratoire d'Algorithmique Complexité et Logique
