Calcul, Algorithmes, Programmes et Preuves (CAPP)
Contact principal : Simon Perdrix Autres contacts : Mehdi Mhalla
Description des activités de recherche : We are members of the CAPP (Calculi, Algorithms, Programs, Proofs) group, in the (...)
Groupement de Recherche n°3322 du CNRS
Nos tutelles
Rechercher
Accueil > Qu’est-ce que IQFA ? > Laboratoires participants > Rhône-Alpes > Laboratoire d’Informatique de Grenoble (LIG)
Laboratoire d’Informatique de Grenoble (LIG)
LIG, UMR 5217 du CNRS / INRIA / Université Joseph Fourier, Grenoble, France