“...International Workshop on Computer Science Logic Karpacz, Polsko)...”