Events

• 2018-03-20 3月27日谷振诣教授报告：中国古代哲学的“逻辑” 2018-03-20
• 2018-02-28 3月13日Goranko教授讲座：Interval-based temporal logics: an overview 2018-02-28
• 2018-02-27 北大逻辑教研室2018年春季学期开设课程 2018-02-27
• 2018-01-10 1月13日逻辑学专业硕士研究生学位论文开题通知 2018-01-10
• 2018-01-07 1月13日逻辑学专业博士研究生预答辩通知 2018-01-07
• 2018-01-06 1月13日2016级逻辑学博士研究生综合考试通知 2018-01-06
• 2017-12-09 McLarty教授讲座：Philosophy of Mathematics: a short introduction. 2017-12-09
• 2017-12-08 【LLCC】12月14日（周四）下午LLCC论坛两场报告 2017-12-08
• 2017-11-03 11月7号赵之光讲座 2017-11-03
• 2017-11-02 12月1-3日 曹钦翔: 面向逻辑学专业的Coq入门系列讲座 2017-11-02
• 2017-10-30 10月31日陈希讲座 2017-10-30
• 2017-10-18 10月26日Halpern教授讲座 Constructive decision theory 2017-10-18
• 2017-10-10 10月17日刘洋博士讲座 2017-10-10
• 2017-10-04 10月10日 Matthias Schirn教授讲座 2017-10-04
• 2017-09-07 9月12日高思存博士讲座：自动推理与人工智能 2017-09-07
• 2017-09-05 北大逻辑教研室2017年秋季学期开设课程 2017-09-05
• 2017-05-24 5月26日：2015级博士生综合考试暨学位论文开题 2017-05-24
• 2017-05-24 5月26日：2014级硕士生学位论文答辩 2017-05-24
• 2017-05-11 5月19日张文彦博士学位论文答辩通知 2017-05-11
• 2017-05-10 【LLCC】5月19日中国科学院自动化研究所曾毅研究员：类脑智能研究的历史、现状与展望 2017-05-10