Workshop on Proof Theory, Computation and Complexity (PCC’07) (2007)
Website: http://www.cs.swan.ac.uk/pcc07/
Dates: 13 Apr - 14 Apr
City: Swansea