Events

• 2012-05-17 杨睿之、郭顺利论文答辩通知 2012-05-17
• 2012-05-11 “计算机到底能做什么？——人工智能的理论限度”辩论研讨会 2012-05-11
• 2012-04-19 4月24日晚希伯莱大学Mark Steiner教授讲座：维特根斯坦的数学哲学 2012-04-19
• 2012-03-06 “克里普克、逻辑和哲学”国际研讨会通知 2012-03-06
• 2012-02-28 博士预答辩通知 2012-02-28
• 2012-02-10 欢迎大家参加“通用人工智能”课程 2012-02-10
• 2012-01-03 1月5日下午博士生开题报告通知 2012-01-03
• 2011-12-18 12月22日下午美国伦斯勒理工学院认知科学系教授杨英锐讲座：高阶认知的标准模型：对称性与自发对称破缺 2011-12-18
• 2011-11-22 11月24日英国约克大学哲学系教授Mike Beaney讲座：Frege’s use of function-argument analysis and his introduction of truth-values as objects 2011-11-22
• 2011-11-14 基本学术技能讲座之二： LaTeX入门 2011-11-14
• 2011-11-03 11月9日博士生开题报告通知 2011-11-03
• 2011-10-31 11月10日美国天普大学计算机系王培教授讲座：Experience-Grounded Semantics and its relation with Intelligence and Embodiment 2011-10-31
• 2011-10-28 硕士研究生开题通知 2011-10-28
• 2011-10-19 10月21日Carnegie Mellon University教授Edmund M. Clarke讲座：Frontiers in Formal Methods本次讲座由信息科学学院主办，逻辑语言认知中心及数学学学院协办。鸣谢逻辑学专业毕业生高思存同学的联络。 2011-10-19
• 2011-10-17 11月3日德国哥廷根大学英语系语言学分支研究员刘明亚讲座：The Truth-conditional Semantics of Evaluative Adverbs 2011-10-17
• 2011-10-17 10月27日德国哥廷根大学英语系语言学分支研究员刘明亚讲座：Logic of Natural Language Semantics: Presuppositions and Conventional Implicatures 2011-10-17
• 2011-10-13 10月20日讲座Thomas ?gotnes：Epistemic Games: Public Announcements and Questions-and-Answers及Floris Roelofsen：The Inquisitive Turn: A New perspective on Semantics, Logic, and Pragmatics 2011-10-13
• 2011-10-01 International Workshop： Logical Dynamics - New Trends and Interfaces 2011-10-01
• 2011-09-20 9月30日晚7点 Johan van Benthem 教授座谈会 2011-09-20
• 2011-09-20 逻辑讲座：通用游戏竞赛的逻辑 (阮吉博士，9月25日晚8点) 2011-09-20