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 > What is IQFA ? > Involved laboratories > 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