Seminars

• 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
• 2023-09-12 Sep. 12th Talk by Thomas Bolander: From Dynamic Epistemic Logic to Socially Intelligent Robots 2023-09-12
• 2023-06-09 Jun. 13th Talk by Sujata Ghosh: A modal logic for reasoning in distributed games 2023-06-09
• 2023-06-02 Jun. 6th Talk by Liqing Ruan : Time Travel: Time Structure with cycles 2023-06-02
• 2023-05-30 5月30日 报告人：刘珂 题目：基于元胞自动机的材料微结构生成与性能调控 2023-05-30
• 2023-05-23 5月23日 报告人：朱一文 题目：从中国数学的历史经验看几个数学哲学问题 2023-05-23
• 2023-05-13 May 16th Talk by Guanqun Liu : Pragmatic Platonism: Martin Davis's Proposal and Hilary Putnam's Critique 2023-05-13
• 2023-05-06 May 8th Talk by Johan van Benthem: Modal Structures in Groups and Vector Spaces 2023-05-06