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 > Les LaboratoiresLaboratoire d’Informatique de Grenoble (LIG)
Les LaboratoiresLaboratoire d’Informatique de Grenoble (LIG)
Laboratoire d’Informatique de Grenoble (LIG) [[blueviolet]WWW]
UMR 5217 du CNRS / INRIA / Université Joseph Fourier, Grenoble, France