Nankai Logic Colloquium is going to take place on November 8th, at 4:00 pm (GMT+8, Beijing time), online/in-person hybrid.
Our speaker is Haosui Duanmu, from the Harbin Institute of Technology. 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.