“...International Workshop on Categorical Methods in Computer Science with Aspects from Topology (...”