“...Workshop on Computer Science Logic Brno, Česko)...”