Logic Colloquium ‘07 we Wrocławiu