Klaus Aehlig, Photos

Banff, Alberta, Canada, October 2011

BIRS workshop on Proof Complexity.

Oberwolfach, Germany, April 2008

Meeting 0815 at the MFO.

Oberbernhards, Germany, January 2007

Photos of the cabaret course at the CdE Winterakademie 2007.