Recent News
- Graduate-level Course "Logic and Computation II" by Prof. Tanaka, 2025-03-04 ~ 2025-05-29. More information: https://bimsa.net/activity/LogandComII/
- Graduate-level Course "Logic and Computation I" by Prof. Tanaka, 2024-09-10 ~ 2024-12-19. More information: https://bimsa.net/activity/LogandComI/
- The second International Congress of Basic Science (ICBS), 14~26 July, 2024, Beijing, China. https://www.icbs.cn/.
- Graduate-level Course "Logic and Foundations II" by Prof. Tanaka, 2024-03-12 ~ 2024-06-13. More information: https://bimsa.net:10000/activity/LogandFouII/
- Prof. Tanaka will give a talk at School of Mathematical Science of Beihang on 12 Jan. More details: https://math.buaa.edu.cn/info/1296/5618.htm
- Prof. Tanaka will give a talk at Nankai logic seminar on 24 Nov. More details: https://mp.weixin.qq.com/s/BsIFqd6H1ZyoEuxPxiI8CQ
- Graduate-level Course "Logic and Foundations I" by Prof. Tanaka, 2023-09-21 ~ 2024-01-11. See the following page for more information: https://bimsa.net:10000/activity/logicfoundationsI/
- The first International Congress of Basic Science (ICBS), 16~28 July, 2023, Beijing, China. https://www.icbs.cn/.
- Graduate-level Course "Logic and Computation II" by Prof. Tanaka will start on March 7. See the following page for more information: https://bimsa.net:10000/activity/logcomII/. Also, welcome to our WeChat group.
- A Newspaper Guide to the Incompleteness Theorems. Access here (in Japanese).
Logic Seminars at the Math Institute
Logic Workshops in/out Sendai
Kazuyuki Tanaka
Logic meetings in China
- Chinese Annual Conference on Mathematical Logic, April 18 ~ 20, 2025, Harbin, China
- Delta 20 workshop on logic, 18 May 2024, Nanjing Xiaozhuang University, Nanjing, China
- Delta 19 workshop on logic, 02 March 2024, Nanjing University, Nanjing, China
- Chinese Mathematical Society 2023, 22–26 November 2023, Dalian, Liaoning, China
- Chinese Annual Conference on Mathematical Logic 2023, 10–12 November 2023, Zhuhai, Guangdong, China