Computation, Algorithms, Programs, and Proofs (CAPP)
Main contact: Simon Perdrix Other contacts: Mehdi Mhalla
Research activities: We are members of the CAPP (Calculi, Algorithms, Programs, Proofs) group, in the Laboratoire d’Informatique de (...)
Research Network n°3322 of the CNRS
Supervisory authorities
Search
Home > LaboratoriesLaboratoire d’Informatique de Grenoble (LIG)
LaboratoriesLaboratoire d’Informatique de Grenoble (LIG)
Laboratoire d’Informatique de Grenoble (LIG) [[blueviolet]WWW]
UMR 5217 du CNRS / INRIA / Université Joseph Fourier, Grenoble, France