“…International Colloquium on Mathematical Logic and Foundations of Set Theory…”