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