News

• 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
• 2009-09-11 Timothy Williamson教授于9月10日在我系作题为“Past the linguistic turn”的学术报告 2009-09-11
• 2009-08-06 周北海、刘壮虎出席心灵与机器2009年昆明会议(8月3-5日) 2009-08-06
• 2009-07-28 刘壮虎出席全国法律逻辑讨论会(7.28-30) 2009-07-28
• 2009-06-26 刘壮虎出席《第四届两岸逻辑教学与研究学术会议》 2009-06-26