CAPP News

2012 jan 27 10h30

Jérôme Javelle is giving a seminar on Optimal accessing and non-accessing structures for graph protocols.

 
2011 dec 9 14h

Pablo Arrighi is giving a seminar on Synchronous, causal graph rewriting

 
2011 sep 30 10h30

Nicolas Delfosse (Institut de Mathématiques de Bordeaux) is giving a seminar on "Borne supérieure sur le rendement des codes LDPC quantiques pour le canal à effacements"

 
CAPP
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-classical Computational models are designed and studied, with a focus on Algorithms, Programs and Proofs.

 Our  research topics belong to the domains of automated reasoning, quantum computing and the theoretical foundations of programming languages.

 

 
LIG INPG UJF CNRS