Seminars

• 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
• 2023-04-22 Apr. 25th Talk by Bin Liu : Knowing how with coalition power 2023-04-22
• 2023-04-16 4月18日 报告人：刘力恺 题目：Gentzen's Consistency Proof 2023-04-16
• 2023-04-08 Apr. 11th Talk by Haoyu Wang : The Many Possibilities of Intuitionistic Modal Logic: A Literature Review 2023-04-08
• 2023-03-31 4月4日 报告人：王林峰 题目：Boolean-valued models of set theory 2023-03-31
• 2023-03-23 3月28日 报告人：王迪 题目：直觉主义逻辑与程序设计语言 2023-03-23
• 2023-03-16 Mar. 21st Talk by Xinhe Wu : Vagueness in Parthood and Identity: Applications of Boolean-Valued Semantics 2023-03-16
• 2023-03-11 Mar. 17th Talk by Francesca Zaffora Blando: Pride and Probability 2023-03-11
• 2023-03-06 3月6日 中学逻辑学教育论坛 2023-03-06
• 2023-02-24 2月28日 报告人：燕博南 题目：逻辑与计算科学与工程--领域专用计算处理器发展前沿 2023-02-24
• 2023-02-20 Feb. 21 Talk by Zhicheng Chen: Unifying BPL, IPL and OL 2023-02-20