Nankai Logic Colloquium is going to take place on Apr. 14, 2023, at 9:00 pm (GMT+8, Beijing time), online.
Our speaker is Professor Chris Laskowski from the University of Maryland. The online meeting is going to be held on Zoom.
Zoom ID: 836 6352 7223. Please see the following poster for the password. Please use your real name to join.
