Calculi, Algorithms, Programs and Proofs

Short name: 
CAPP
Research type: 
Location: 
220, rue de la Chimie IMAG - Bât C
Saint Martin d'Hères
France
45° 11' 38.1336" N, 5° 46' 15.3228" E
FR

CAPP is a team of the LIG (Laboratoire d'Informatique de Grenoble) devoted to theoretical computer science.
The CAPP group is a place where both classical and non-quantum computational models are designed and studied, with a focus on Algorithms, Programs and Proofs.