Seminars

• 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
• 2023-09-26 Sep. 26th Talks by Hans Rott and Wei Zhu 2023-09-26
• 2023-09-20 Sep. 20th Talk by Adam Bjorndahl: Knowing and Measuring 2023-09-20
• 2023-09-19 Sep. 19th Talk by R. Ramanujam: A Model for the Emergence of Collective Memory 2023-09-19