Klaus Aehlig, Photos (2006)

Nijmegen, Netherlands, July 2006

Logic Colloquium 2006.

Cambridge, United Kingdom, April 2006

Workshop "New Directions in Proof Complexity" at the Newton Institute.