Nankai Logic Colloquium is going to take place on April 11th, at 9:00 am (GMT+8, Beijing time), online.
Our speaker is Patrick Lutz, from the University of California, Berkeley. 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.
