Releases med Logic Colloquium