News

• 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
• 2010-05-08 5月4日新西兰奥克兰大学Jeremy Seligman教授：Facebook Logic 2010-05-08
• 2010-05-08 4月27日朱水林教授：蒙太古语义学和机器翻译 2010-05-08
• 2010-04-18 4月10日逻辑学术报告会综述 2010-04-18
• 2010-01-26 2009语言学与逻辑学交叉研究研讨会综述 2010-01-26
• 2010-01-14 “2009语言学与逻辑学交叉研究研讨会”在我校召开 2010-01-14
• 2009-11-16 伦敦大学皇家霍洛威学院计算机科学系罗朝晖教授11月11日报告：“Type-Theoretical Semantics with Coercive Subtyping” 2009-11-16
• 2009-10-29 周北海与崔晓红等博士生参加第二届“逻辑、理性与互动”国际会议（LORI-II） 2009-10-29
• 2009-10-28 10月24日-26日：宋文坚、周北海、刘壮虎出席“纪念中国逻辑学会成立30周年大会” 2009-10-28
• 2009-10-15 10月14日纽约城市大学教授Rohit Pariht报告：“The Use of Knowledge in Social Algorithms”以及“Belief, Behavior and Bisimulation” 2009-10-15
• 2009-09-15 Timothy Williamson教授于9月14日在我系作题为“Object, property and contingent existence”的学术报告 2009-09-15