News

• 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
• 2013-05-20 4月24日“含糊性与累积悖论”小型研讨会 2013-05-20
• 2013-05-17 5月15日学术技能讨论班：学术交流与发表 2013-05-17
• 2013-05-10 5月8日范杰报告：Knowing That, Knowing What, and Public Communication 2013-05-10
• 2013-04-17 4月16日施翔晖老师讲座：Large cardinal axioms and higher degree theory 2013-04-17
• 2013-04-12 4月10日刘美平报告：关于概念的非经典理论 2013-04-12
• 2013-04-07 4月3日下午Prof. Kooi 及 Prof. Ramanujam 的两场逻辑讲座 2013-04-07
• 2013-03-28 3月27日高坤报告：The Parallelism in Goedel's philosophy of mathematics 2013-03-28
• 2013-03-21 3月20日王海若报告：史上最难逻辑谜题及其形式化和无解问题 2013-03-21