Nankai Logic Colloquium