Events

• 2014-05-27 5月30日，马丽、傅庆芳论文答辩 2014-05-27
• 2014-05-19 6月4日琚凤魁老师讲座：Trace semantics for propositional dynamic logics 2014-05-19
• 2014-05-18 5月28日Dr. Jeremy Seligman 讲座：1.Secret tweets and network discovery 2.Past, Present and Future: the logic and philosophy of Arthur Prior 2014-05-18
• 2014-05-14 5月21日Prof.Frank Veltman讲座：Gradable adjectives and subjective experience 2014-05-14
• 2014-04-29 5月7日Peter van Emde Boas讲座：Victorious Warriors: searching the games played in the Romance of the three Kingdoms 2014-04-29
• 2014-04-12 4月16日沈榆平老师讲座：Canonical Logic Programs are Succinctly Incomparable with Proposition Formulas 2014-04-12
• 2014-04-07 4月9日蒋运鹏老师讲座：卡尔纳普的第一个构造定义 2014-04-07
• 2014-04-05 4月8日苏开乐老师讲座：Recent Progresses in Local Search for SAT 2014-04-05
• 2014-04-02 4月4日蒋运鹏老师讲座：Talking about the Secret Power 2014-04-02
• 2014-02-28 3月2日陈星群、傅庆芳预答辩通知 2014-02-28
• 2014-02-12 2月19日 杨森报告《使用可数传递模型的论证》 2014-02-12
• 2013-12-24 2014年春季逻辑课程 2013-12-24
• 2013-12-20 12月25日赵震、马丽预答辩通知 2013-12-20
• 2013-11-05 [LLCC通知] 11月8日Langacker北大讲座 2013-11-05
• 2013-10-21 LLCC通知］10月25日苏彦捷教授讲座：中国儿童心理理论的获得与发展 2013-10-21
• 2013-09-30 [LLCC 通知] 10月11日李福印教授讲座 现代汉语在Talmy理论框架下的类型归属 2013-09-30
• 2013-09-30 10月15号刘洋报告：Modeling Games with Epistemic Quantifications 2013-09-30
• 2013-09-12 [LLCC通知] 9月27日穗志方教授讲座 基于自然语言处理的Web知识工程 2013-09-12
• 2013-09-06 9月17日赵之光讲座：从代数角度看非经典逻辑的典范性 2013-09-06
• 2013-06-30 7月1日上午博士生开题通知 2013-06-30