Nankai Logic Colloquium is going to take place on Apr. 07, 2023, at 4:00 pm (GMT+8, Beijing time), online.
Our speaker is Professor David Schrittesser from Harbin Institute of Technology. The online meeting is going to be held on Zoom.
Zoom ID: 867 3454 6492. Please see the following poster for the password. Please use your real name to join.
