2013秋季报告 （当初上课时间：周二15:10-18:00 地点：三教408）
2013-12-24 报告人：陈希 点评人：王彦晶老师， 题目： 附件：
2013-12-17 报告人：万美文 点评人：陈波老师，邢滔滔老师 题目：An Introduction to Modal Metaphysics 附件：
2013-12-10 报告人：吕相洋 点评人：刘壮虎老师，方楠、高坤 题目：is minesweeper NP-complete? 附件：
2013-12-03 报告人：刘梓源 点评人：邢滔滔老师，高坤、万美文 题目：对威廉姆森的二值论证的反驳
2013-11-26 报告人：方楠 点评人：刘壮虎老师，李熙 题目：A Introduction to the Complexity of Sets 附件：
2013-11-19 报告人：陈波老师 题目：认知悖论 附件：
2013-11-12 报告人：高坤 点评人：刘壮虎老师，李熙、万美文 题目：Maddy s Naturalism in Mathematics 附件：
2013-11-05 报告人：秦一男 点评人：刘壮虎老师，李熙、刘美平 题目：A New Method of Natural Language Parsing for The English-Chinese Machine Translation 附件：
2013-10-29 报告人：刘美平 点评人：周北海老师，秦一男、李熙 题目：概念本体与概念结构理论的整合 附件：
2013-10-22 报告人：马丽 点评人：周北海老师， 题目：概称描述逻辑及其Tableau判定算法 附件：
2013-10-15 报告人：刘洋 题目：Modeling Games with Epistemic Quantifications 附件：
2013-10-08 报告人：聂众乐、王海若 点评人：邢滔滔老师， 题目： 附件：
2013-09-17 报告人：赵之光 题目：从代数角度看非经典逻辑的典范性
