Hosted by GKLI, the PhD Programme Logic in Computer Science.
Organised by Josef Berger, Peter Schuster and Klaus Thiel
http://www.math.lmu.de/~clm/