“…Summer School and Colloquium in Mathematical Logic Manchester…”