CAPP News

2012 may 6 11h

Tom Hirschowitz is giving a seminar on Innocent strategies as presheaves for CCS.

 
 
2012 apr 1

Vincent Nesme has joined the CAPP group on a post-doc position of the ANR project CausaQ.
 
2012 jan 27 10h30

Jérôme Javelle is giving a seminar on Optimal accessing and non-accessing structures for graph protocols.
 
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