2014秋季报告 （当初上课时间：周二 15:10-18:00 地点：三教108）
2014-12-30 报告人：徐超 点评人：王彦晶老师，李大柱 题目：Formalizing knowledge why(1) 附件：
2014-12-23 报告人：李大柱 点评人：常悦 题目：Listen to me! Public announcement to agents that pay attention or not 附件：
2014-12-16 报告人：曹钦翔 题目：构建程序的正确性证明 (The logics to establish the correctness of programs)
2014-12-09 报告人：常悦 点评人：李大柱 题目：Logics for Epistemic Programs 附件：
2014-12-02 报告人：张羿教授 题目：20世纪几个重要的逻辑学定理
2014-11-25 报告人：彭杉杉 点评人：万美文 题目：麦蒂论自然主义视角下的逻辑 附件：
2014-11-18 报告人：张文彦 点评人：郑植 题目：转换生成语法和形式语义学的渊源 附件：
2014-11-04 报告人：朱薇 点评人：李楷 题目：The secrect of romance is to do something very man.——稳定相亲匹配及其扩展
2014-10-28 报告人：郑植 点评人：张文彦 题目：语言学中的优选论 附件：
2014-10-21 报告人：阮吉 题目：Model Checking Incomplete Information Games in General Game Playing 附件：
2014-10-14 报告人：万美文 点评人：彭杉杉，朱薇 题目：直觉与语义/语用区分 附件：
2014-09-30 报告人：刘梓源 点评人：王彦晶老师 题目：Formalizing Knowledge How
2014-09-16 报告人：方楠 点评人：吕相洋 题目：Algorithmic Randomness（算法随机性） 附件：
