“...Workshop on Computer Science Logic Szeged, Maďarsko)...”