Klaus Aehlig, Photos

Banff, Alberta, Canada, October 2011

BIRS workshop on Proof Complexity.

Oberwolfach, Germany, April 2008

Meeting 0815 at the MFO.

Lausanne, Switzerland, September 2007

Photos taken at the 16th Annual conference on Computer Science Logic (CSL 07).

Oberbernhards, Germany, January 2007

Photos of the cabaret course at the CdE Winterakademie 2007.