Workshop Categorical Logic and Higher Categories: registration