“...Workshop on Computer Science Logic Aarhus, Dánsko)...”