Author: Logic Colloquium (2007 Wrocław, Poland)