特邀报告1

　　题 目：谈研究

　　报告人：林惠民院士

　　讲演者简介：

　　林惠民，1947年11月生于福建省福州市，研究员，博士生导师。1986年在中国科学院软件研究所获博士学位；曾先后在英国爱丁堡大学和萨塞克斯大学工作。1999年被评为“国家级有突出贡献的中青年专家”，同年11月当选为中国科学院院士。主要研究方向包括：通迅并发系统的理论、工具及应用、模型检测、代数规约、程序模块化理论。

　　他长期从事并发理论及形式化方法的研究。他设计并实现的交互式证明系统PAM是世界上第一个通用的进程代数验证工具。与国际同行合作提出、并独立发展了传值并发进程的“符号互模拟”理论；解决了π-演算和时间自动机的有穷公理化问题。这些成果已为国内外同行在公开发表的文献中所广泛引用，推动了这些领域的发展。他的工作获得1996年度中国科学院自然科学奖一等奖和1999年度国家自然科学奖二等奖。

　　特邀报告2

　　题 目：我对人机交互的一些思考

　　报告人：戴国忠研究员

　　讲演者简介：

　　戴国忠，中国科学院软件研究所人机交互技术与智能信息处理实验室首席研究员, 博士生导师。毕业于中国科学技术大学，1982-1985年在马里兰大学计算机系做访问学者。担任ACM SIGCHI中国分会荣誉主席，中国计算机学会人机交互专委会主任。曾任科技部863 CIMS项目专家组成员、973项目咨询专家、北京市科委CIMS工程首席专家。戴国忠研究员主持和参加了多项国家自然科学基金项目、国家高技术研究发展计划项目、国家重点基础研究发展规划项目。主要研究领域为软件工程、人机交互技术。在国内外有影响的会议和刊物上发表论文百余篇，专著2部。三次获得国家科技进步奖，多次获中科院和部委科技进步奖。并获得中国计算机图形学大会贡献奖、和谐计算和人机交互会议终身成就奖。