Nankai Logic Colloquium is going to take place on Jan 5th, at 4:00 pm (GMT+8, Beijing time), online/offline hybrid.
Our speaker is Steve Jackson from the the University of North Texas. The online meeting is going to be held via Zoom.
Please use your real name to join.
The record for past colloquiums can be accessed from https://space.bilibili.com/253421893.