Recent News

• 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

• https://sites.google.com/view/sendai-logic/

Logic Workshops in/out Sendai

• CTFM
• SLS

Kazuyuki Tanaka

• https://sendailogic.com/tanaka

Logic meetings in 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