Logic Colloquium | lit.salon