Computer Science Logic 2015
Berlin, 7-10 September 2015
Technische Universität Berlin

Programme Committee