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

Tags: 

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.