2011春季报告 （当初上课时间：周二15:10-18:00 地点：三教101）
2011-06-14 报告人：王文方老师 点评人：地点改为哲学系一层会议室 题目：Priest and Smith on vagueness
2011-06-07 报告人：暂停 题目：
2011-05-31 报告人：毕业答辩 题目：毕业答辩
2011-05-24 报告人：许春梅 点评人：刘壮虎老师，傅庆芳、王淑庆 题目：介绍hypermodal logic 附件：
2011-05-17 报告人：李小五老师 题目：跨文化交流的形式化问题
2011-05-10 报告人：赵飞老师 题目：文献检索，获取与管理
2011-04-26 报告人：Francien Dechesne 点评人：王彦晶老师 题目：In Processes, We Believe!
2011-04-19 报告人：马丽 点评人：周北海老师，陈星群、李延军 题目：Some View of Description Logic 附件：
2011-04-12 报告人：马明辉 题目：Model Theory for Graded Modal Languages（分次模态语言的模型论） 附件：
2011-03-29 报告人：贺飞老师 题目：BDD-Based Assume-Guarantee Reasoning and Array Theory of Bounded Elements
2011-03-22 报告人：李昊翔 点评人：邢滔滔老师，赵震、陈星群 题目：The Problem of Defining Essence 附件：
2011-03-15 报告人：刘靖贤 点评人：陈波老师，赵震、陈星群 题目：《算术基本规律》的正片段 附件：
2011-03-08 报告人：傅庆芳 点评人：周北海老师 题目：自由选择的允许句与资源敏感的推理间的关系 附件：
2011-03-01 报告人：崔晓红 点评人：王彦晶老师 题目：Reasoning about Intentions and Knowledge in Decision Problems 附件：
2011-02-22 报告人：王淑庆 点评人：叶峰老师，许春梅、李延军 题目：回答集求解中的“对称-破坏”方法 附件：
