News

• 2017-12-05 12月5日沈丙辉报告 2017-12-05
• 2017-11-29 11月28日苏兴池同学报告 2017-11-29
• 2017-11-27 11月14日胡兰双报告 2017-11-27
• 2017-11-27 11月21日徐超报告 2017-11-27
• 2017-11-07 11月7号赵之光讲座 2017-11-07
• 2017-11-01 10月31日陈希讲座 2017-11-01
• 2017-10-24 10月24日刘诗宵报告 2017-10-24
• 2017-10-17 10月17日刘洋博士讲座 2017-10-17
• 2017-10-11 10月10日Matthias Schirn教授讲座 2017-10-11
• 2017-09-26 9月26日郑植报告 2017-09-26
• 2017-09-19 9月19日高珂报告 2017-09-19
• 2017-09-13 9月12日高思存博士讲座 2017-09-13
• 2017-06-14 6月6日李大柱报告：模态分体论 2017-06-14
• 2017-05-17 5月16日王海若报告：模糊性与模态性 2017-05-17
• 2017-05-16 5月23日刘路讲座：Combinatorial property vs computational property 2017-05-16
• 2017-05-09 5月9日王强报告：《公孙龙子》到《墨经》——名家与墨家逻辑思想的一种当代解释 2017-05-09
• 2017-05-02 5月2日徐超报告：An Introduction to Natural Logic 2017-05-02
• 2017-04-25 4月25日胡兰双报告：Factivity and Truth Condition 2017-04-25
• 2017-04-20 4月18日陈千千报告：Introduction to Conditionals 2017-04-20
• 2017-04-10 4月11日马菲菲讲座：Satisfiability Checking and Model Counting for Propositional Logic and SMT 2017-04-10