Events

• 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
• 2011-08-12 “弗雷格，逻辑和哲学”会议日程 2011-08-12
• 2011-07-30 北大哲学系2011年秋季逻辑课程公布 2011-07-30
• 2011-07-29 “弗雷格，逻辑和哲学”国际工作坊（8月29—30日） 2011-07-29
• 2011-06-11 逻辑讲座：Priest and Smith on vagueness（王文方教授，6月14日） 2011-06-11
• 2011-05-09 逻辑讲座：跨文化交流的形式化问题（李小五教授，5月17日） 2011-05-09
• 2011-05-08 5月9日博士开题报告通知 2011-05-08
• 2011-05-05 5月10日北大图书馆信息咨询部赵飞讲座：文献检索，获取与管理 2011-05-05
• 2011-04-13 Dr. Dechesne 两次逻辑讲座 （4.26， 4.28） 2011-04-13
• 2011-03-23 逻辑讲座：形式化验证（3月29日） 2011-03-23