Others

• 2017-03-28 【人民大学科学社会人文论坛】3月30日徐明教授报告：若干类模态逻辑的可有穷公理化性质 2017-03-28
• 2017-03-22 5月24至6月16日：Model Theory of Valued Fields and Applications 2017-03-22
• 2017-03-22 5月2日至6月13日：Introduction to Model Theory 2017-03-22
• 2017-03-13 2017年3月14日：Academy of Mathematics and Systems Science, CAS Colloquia & Seminars 2017-03-13
• 2017-03-13 2017年3月17日:Borel函数的分解 2017-03-13
• 2017-03-05 Prof. Ralf Schindler: Martin's Maximum, Woodin's (*), or both? 2017-03-05
• 2016-11-06 CALL FOR PAPERS: The Sixth International Conference on Logic, Rationality and Interaction (LORI-VI) 2016-11-06
• 2016-08-05 7th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS（2nd edition） 2016-08-05
• 2016-08-05 9th METHODS FOR MODALITIES WORKSHOP 2016-08-05
• 2016-06-15 8月15-19日贵州大学“量子算法与编程”暑期学校 2016-06-15
• 2016-06-15 2016年11月19日台湾大学哲学逻辑工作坊：条件句及相关问题（征集论文） 2016-06-15
• 2016-06-14 6月16日中国科学院Jouko Vaananen教授讲座：Inner models from extended logics 2016-06-14
• 2016-06-13 6月19日中国社会科学院哲学所：第一届京津翼逻辑论坛 2016-06-13
• 2016-06-08 6月17日北京师范大学Jouko Vaananen教授报告：Dependence and Independence—A Logical Approach 2016-06-08
• 2016-06-08 6月清华大学Jouko Vaananen教授系列讲座 2016-06-08
• 2016-06-06 6月8日David Balduzzi中科大讲座：Foundations of Deep Learning 2016-06-06
• 2016-05-11 5月13日Vincenzo Dimonte报告：Generic I_0 at aleph_omega 2016-05-11
• 2016-05-04 7月人民大学分析哲学中心暑假课程 2016-05-04
• 2016-04-26 【ILLC】Two PhD student positions in Logic, Amsterdam 2016-04-26
• 2016-04-19 5月北京大学“海外名家讲座”系列活动 2016-04-19