Events

• 2015-05-26 【LLCC】5月28日孙薇薇博士讲座：基于图表征的自动语义分析 2015-05-26
• 2015-05-24 范杰、李熙、秦一男的博士答辩 2015-05-24
• 2015-05-24 吕相洋、万美文、郑植的硕士答辩 2015-05-24
• 2015-05-13 5月19日王仁俊博士报告：Epistemic logic and the problem of logical omniscience 2015-05-13
• 2015-05-10 5月12日林哲博士讲座：Lambek Calculus and Type Grammar: Past and Future 2015-05-10
• 2015-05-10 【LLCC】5月14日葛鉴桥博士讲座：How do we read other's mind? 2015-05-10
• 2015-05-06 【LLCC】5月7日胡旭辉博士讲座：动词、事件与终结性----- 基于句法—语义/语用界面的研究 2015-05-06
• 2015-04-28 5月26日 小野寛晰教授讲座：Proof-theoretic approach to logic ― an introduction 2015-04-28
• 2015-04-01 4月21日张羿 教授讲座：艺术与科学并重的俄罗斯精英教育体制 2015-04-01
• 2015-03-31 4月14日Dr. Alessandra Palmigiano 讲座：Proof-theoretic semantics for dynamic logics 2015-03-31
• 2015-01-06 北大逻辑教研室2015年春季学期开设课程 2015-01-06
• 2014-12-15 12月26日邹婷湘报告：同伦类型论简介 2014-12-15
• 2014-12-13 12月16日曹钦翔报告：构建程序的正确性证明 (The logics to establish the correctness of programs) 2014-12-13
• 2014-12-03 12月5日陈星群博士论文答辩 2014-12-03
• 2014-11-28 12月2日张羿教授报告：20世纪几个重要的逻辑学定理 2014-11-28
• 2014-10-31 11月2日刘壮虎教授讲座：概念结构理论 2014-10-31
• 2014-10-20 10月21日阮吉老师讲座：Model Checking Incomplete Information Games in General Game Playing 2014-10-20
• 2014-08-17 2014年秋季逻辑课程 2014-08-17
• 2014-05-28 5月31日：王海若、聂众乐、陈希硕士生答辩通知 2014-05-28
• 2014-05-27 5月31日，赵震论文答辩 2014-05-27