News

• 2011-10-22 2011年10月20日下午 Thomas ?gotnes和Floris Roelofsen讲座 2011-10-22
• 2011-10-15 10月10日至13日王彦晶，徐召清参加LORI－3国际会议 2011-10-15
• 2011-10-13 Logical Dynamics: New trends and interfaces综述 2011-10-13
• 2011-10-01 9月30日荷兰阿姆斯特丹大学逻辑、语言与计算研究所Johan van Benthem教授报告：逻辑学纵览 2011-10-01
• 2011-10-01 9月29日荷兰阿姆斯特丹大学逻辑、语言与计算研究所Johan van Benthem教授座谈会：“逻辑：你想问但又不好意思问的问题” 2011-10-01
• 2011-09-30 9月25日新南威尔士大学阮吉博士讲座：通用游戏竞赛 2011-09-30
• 2011-09-30 9月29日奥克兰大学哲学系研究员Patrick Girard博士报告：“私人信念修正” 2011-09-30
• 2011-09-10 8月29日-30日“弗雷格，逻辑和哲学”国际会议召开 2011-09-10
• 2011-07-15 7月10日至15日王彦晶参加第十三届“知识与理性的理论方面”（TARK'11）国际会议 2011-07-15
• 2011-06-15 王文方教授：Sorites 悖论的三个解悖方案 2011-06-15
• 2011-05-17 5月17日中山大学逻辑与认知研究所李小五教授讲座：跨文化交流的形式化问题 2011-05-17
• 2011-05-17 4月22日-25日，周北海、刘壮虎、叶峰、邢滔滔、王彦晶出席“全国现代逻辑学术研讨会” 2011-05-17
• 2011-05-11 5月10日北大图书馆信息咨询部赵飞讲座：文献检索，获取与管理 2011-05-11
• 2011-04-26 4月26日及28日Francien Dechesne博士于本中心的两次报告 2011-04-26
• 2011-03-30 3月29日贺飞老师：假设-保证推理和数组逻辑在形式化验证中的应用 2011-03-30
• 2011-01-30 1月10日－30日王彦晶访问印度数学科学研究所（IMSc） 2011-01-30
• 2011-01-10 1月5号到1月10号王彦晶参加了逻辑及其应用国际会议（ICLA11） 2011-01-10
• 2010-12-29 我校博士张立英获第五届金岳霖学术奖一等奖 2010-12-29
• 2010-11-02 宋文坚、刘壮虎出席“纪念金岳霖先生诞辰115周年学术研讨会暨金岳霖学术奖颁奖会” 2010-11-02
• 2010-08-21 7月25日-27日周北海、刘壮虎出席“心灵与机器”苏州会议 2010-08-21