Seminars

• 2024-03-31 Apr. 9th Talk by Søren Knudstorp 2024-03-31
• 2024-03-28 Apr. 1st Talk by Fan Yang 2024-03-28
• 2024-03-26 Mar. 26th Talk by Byeong-uk Yi 2024-03-26
• 2024-03-25 Mar. 29th Talk by Wesley Holliday 2024-03-25
• 2024-03-14 Mar. 19th Talk by Weiwei Chen 2024-03-14
• 2024-03-08 Mar. 12th Talks by Wen Tang and Qianli Ma 2024-03-08
• 2024-03-02 Mar. 5th Talks by Bo Hong and Yunsong Wang 2024-03-02
• 2024-02-24 Feb. 27th Talks by Linfeng Wang and Yipu Li 2024-02-24
• 2023-12-25 12月26日 报告人：马千里 题目：Formal learning theory: An Introduction 2023-12-25
• 2023-12-19 12月19日 报告人：邓徐冰 题目：哥德尔不完全定理的不同证明路径 2023-12-19
• 2023-12-10 12月12日 报告人：刘力恺 题目：逻辑与形而上学互动的一个案例： 从《数学原理》第一版到第二版 2023-12-10
• 2023-12-08 Dec. 8th Talk by Junhua Yu: Exploring instantial operators for neighborhood structures 2023-12-08
• 2023-11-27 11月28日 报告人：龚霖振 题目：Structures of Borel Sets 2023-11-27
• 2023-11-21 11月21日 报告人：应明生 题目：Quantum Hoare Logic and Its Applications 2023-11-21
• 2023-11-12 11月14日 报告人：王昊玉 题目：从知识逻辑的视角分析直觉主义模态词定义 2023-11-12
• 2023-11-05 11月7日 报告人：唐闻 题目：Matching Logic 2023-11-05
• 2023-10-27 Oct. 31st Talk by Danielle Macbeth: Ampliative Deductive Proof in Mathematical Practice--Lessons from Kant and Frege 2023-10-27
• 2023-10-19 10月24日 报告人：姚博凯 题目：什么是无素集合论？ 2023-10-19
• 2023-10-17 Oct. 17th Talk by Kyle Gannon: Model theory and measures 2023-10-17
• 2023-10-10 10月10日 报告人：李翰禹 题目：Climbing the Ladder of Rationality: Approaching Nash Equilibria in Bounded-Rational Multi-Agent Systems 2023-10-10