2008. NA-CAP: The Limits of Computation, 10–12 July. The Reasoner. 2, 8 (Aug. 2008).