Complice project
Home page > English > Related Events > workshop PCC 2009 (Proof, Computation, Complexity)

workshop PCC 2009 (Proof, Computation, Complexity)

Saturday 16 May 2009, by Patrick Baillot

All the versions of this article: [English] [français]

PCC 2009: 8th workshop Proof, Computation and Complexity

http://pcc.loria.fr/

July 2-3 2009, Nancy

SPIP | template | | Site Map | Follow-up of the site's activity RSS 2.0