Nankai Logic Colloquium is going to take place on Dec. 23, 2022, at 4:00 pm (GMT+8, Beijing time), online.
Our speaker is Professor Victor Selivanov from the A.P. Ershov Institute of Informatics Systems, Russian Academy of Science.
The online meeting is going to be held on Zoom.
Zoom ID: 843 9471 9093. Please see the following poster for the password. Please use your real name to join.
