“...Workshop on Computer Science Logic Bertinoro, Itálie)...”