Events

• 2018-09-18 北大逻辑教研室2018年秋季学期开设课程 2018-09-18
• 2018-09-14 Prof. Frank J?kel 918讲座 Bayesian Reverse-Engineering of Perception and Cognition 2018-09-14
• 2018-08-01 Colin McLarty系列讲座：Type Theories From Frege To Homotopy Type Theory 2018-08-01
• 2018-06-19 6月26日逻辑学专业博士研究生学位论文开题通知 2018-06-19
• 2018-06-19 6月26日逻辑学专业博士研究生预答辩通知 2018-06-19
• 2018-05-17 5月25日朱薇、李楷博士学位论文答辩 2018-05-17
• 2018-05-16 5月25日丛孟晗、周舟航学士学位论文答辩 2018-05-16
• 2018-05-16 5月25日苏兴池硕士学位论文答辩 2018-05-16
• 2018-05-11 5月15日邱仁宗教授讲座：哲学如何改变世界？——以阻止人类头颅移植为例 2018-05-11
• 2018-04-11 4月17日蔡少伟教授讲座：Improving local search for SAT via programming by optimization 2018-04-11
• 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