2013春季报告 （当初上课时间：周三15:10-18:00 地点：一教308）
2013-06-05 报告人：赵震 点评人：陈波老师，刘靖贤、高坤 题目：how to avoid semantic paradoxes without lose of expressive power 附件：
2013-05-29 报告人：贾青 题目：范畴类型逻辑中的主要问题及其在语言学中的应用
2013-05-22 报告人：Hans van Ditmarsch 点评人：Ramanujam and Wang 题目：Dynamic Epistemic Logic and its friends (and enemies): a question & answer session 附件：
2013-05-08 报告人：范杰 点评人：周北海老师，李熙、李延军 题目：Knowing That, Knowing What, and Public Communication 附件：
2013-04-24 报告人：CLZZ 点评人：王彦晶（主持） 题目：模糊性与累积悖论研讨会 附件：
2013-04-16 报告人：施翔晖 题目：Large cardinal axioms and higher degree theory（4.16（周二）7-9节，文史楼103）
2013-04-10 报告人：刘美平 点评人：周北海老师，秦一男、李熙 题目：关于概念的非经典理论 附件：
2013-04-03 报告人：Prof. Barteld Kooi 点评人：Prof. R. Ramanujam 题目：Completeness via correspondence for three-valued logic
2013-03-27 报告人：高坤 点评人：刘壮虎老师，刘靖贤、李熙 题目：The Parallelism in Goedel’s philosophy of mathematics 附件：
2013-03-20 报告人：王海若 点评人：邢滔滔老师，陈希、聂众乐 题目：史上最难逻辑谜题及其形式化和无解问题 附件：
2013-03-13 报告人：聂众乐 点评人：邢滔滔老师， 题目：作为一种教育理念的批判性思维 附件：
2013-03-06 报告人：秦一男 点评人：刘壮虎老师，李熙、范杰 题目：针对两类英语从句的断句建立的一阶逻辑分析系统 附件：
2013-02-27 报告人：陈希 点评人：王彦晶， 题目：基于动态逻辑的建模研究 附件：
