News

• 2013-12-12 12月10号吕相洋报告：is minesweeper NP-complete 2013-12-12
• 2013-12-03 12月3号刘梓源报告：对威廉姆森的二值论证的反驳 2013-12-03
• 2013-11-26 11月26号方楠报告：A Introduction to the Complexity of Sets 2013-11-26
• 2013-11-20 11月19号陈波老师报告：认知悖论 2013-11-20
• 2013-11-13 11月12号高坤报告：Maddy's Naturalism in Mathematics 2013-11-13
• 2013-11-08 11月5号秦一男报告：一种面向英-汉机器翻译的自然语言断句的新方法 2013-11-08
• 2013-10-30 10月29日刘美平报告：概念本体与概念结构理论的整合 2013-10-30
• 2013-10-23 10月22日马丽报告：A Tableau Algorithm of the Generic Extension of Description Logic 2013-10-23
• 2013-10-18 10月15日刘洋报告：Modeling Games with Epistemic Quantifications 2013-10-18
• 2013-09-25 9月24日Digitalism讨论会 2013-09-25
• 2013-09-23 全国逻辑学博士生培养工作联席会议记录 2013-09-23
• 2013-09-23 “全国逻辑学博士生培养工作联席会议”会议综述 2013-09-23
• 2013-09-17 9月17日赵之光讲座：从代数角度看非经典逻辑的典范性 2013-09-17
• 2013-09-10 9月10日陈星群报告：点类型与量化类型 2013-09-10
• 2013-09-04 王彦晶、范杰论文被国际人工智能大会（IJCAI13）接收 2013-09-04
• 2013-09-04 王彦晶获得资助将访问印度统计研究所 2013-09-04
• 2013-06-20 6月20日高思存博士报告：判定算法与模型分析 2013-06-20
• 2013-06-09 6月5号赵震报告：how to avoid semantic paradoxes without lose of expressive power 2013-06-09
• 2013-06-04 5月29日贾青报告：范畴类型逻辑中的主要问题及其在语言学中的应用 2013-06-04
• 2013-05-26 5月22日动态认知逻辑问答会报道 2013-05-26