报告时间：10月23日（周日）9：00—11：00
报告人简介：许可，男，1971年8月生，教授，博士生导师。分别于1993年7月和2000年3月在北京航空航天大学飞行器设计与应用力学系和计算机科学与工程系获学士和博士学位。现工作于北京航空航天大学计算机学院软件开发环境国家重点实验室。2002年获"全国百篇优秀博士论文"奖。2005年和2007年分别入选北京市科技新星计划和教育部新世纪优秀人才支持计划。主持或作为学术骨干参与了国家自然科学基金、973和国家攀登计划等科研项目。其中，所负责的一项国家自然科学基金项目在结题时被基金委评为特优。现任《中国科学F辑:信息科学》编委，曾任973项目首席科学家助理和项目专家组成员。主要从事算法与计算复杂性、数据挖掘和网络测量、分析与建模等方面的研究工作。
报告人简介：刘田，男，1966年生，博士，现任北京大学计算机系教授，中国电子学会电路与系统分会图论与系统优化专业委员会秘书长。毕业于中国科学技术大学数学系，在北京大学计算机系获博士学位后留校，曾在以色列希伯来大学进修访问。主要从事离散数学、理论计算机科学等方面的研究和教学工作，参与或承担过多项国家级纵向科研项目，在国际、国内重要会议和核心刊物上发表论文多篇、出版译著和教材多部，所讲授的课程被评为北京市和国家级精品课程。
报告题目：Phase Transitions in Knowledge Compilation
报告人简介：高健,男，毕业于吉林大学符号计算与知识工程教育部重点实验室，现工作于东北大学信息科学与技术学院。参与或承担过多项国家级纵向科研项目，在国际、国内重要会议和核心刊物上发表论文多篇。
