中国计算机学会青年计算机科技论坛
CCF Young Computer Scientists & Engineers Forum
CCF Young Computer Scientists & Engineers Forum
YOCSEF
于2005年9月16日(星期五)14:00-17:00
在北京邮电大学教三楼1层多功能厅
举行报告会 敬请光临
在北京邮电大学教三楼1层多功能厅
举行报告会 敬请光临
报告会主题
理论计算机科学前沿进展
程 序
理论计算机科学前沿进展
程 序
13:30 签到
14:00 报告会开始
执行主席：马华东 博士，北京邮电大学教授
YOCSEF学术委员会委员
执行主席：王千祥 博士，北京大学副教授，
YOCSEF学术委员会委员
特邀讲者：周巢尘 院士，中国科学院软件研究所研究员
演讲题目：程序验证的新动向
特邀讲者：应明生 清华大学计算机科学与技术系教授
演讲题目：基于量子逻辑的计算理论
参加人员：从事计算机软件的工程师、研究开发人员、教师、研究生、用户等
费用： CCF会员凭会员证入场，非会员须提前与秘书处联系登记
联系方式：Email：ccfad@ict.ac.cn; Tel: (010)62562503; Fax:6252 7485
14:00 报告会开始
执行主席：马华东 博士，北京邮电大学教授
YOCSEF学术委员会委员
执行主席：王千祥 博士，北京大学副教授，
YOCSEF学术委员会委员
特邀讲者：周巢尘 院士，中国科学院软件研究所研究员
演讲题目：程序验证的新动向
特邀讲者：应明生 清华大学计算机科学与技术系教授
演讲题目：基于量子逻辑的计算理论
参加人员：从事计算机软件的工程师、研究开发人员、教师、研究生、用户等
费用： CCF会员凭会员证入场，非会员须提前与秘书处联系登记
联系方式：Email：ccfad@ict.ac.cn; Tel: (010)62562503; Fax:6252 7485
理论计算机科学前沿进展
在计算机及网络得到极大应用的今天，人们是否还记得那些推动了计算机发展的计算机科学理论？当今的计算机科学理论又有哪些热点研究内容？这些热点研究内容将给信息社会带来怎样的影响？本次报告会将就理论计算机科学的部分热点问题——程序验证、量子计算等进行探讨。两位科学家将针对这项对未来信息社会产生重大影响的基础问题，介绍理论计算机科学目前的发展现状和趋势、可能的突破点、典型的应用以及我国在理论计算机科学的研究成果等内容。希望通过两位专家的报告，使我们对前面的问题有一个全面、深入的了解。
 | 执行主席 马华东 博士。YOCSEF学术委员会委员，中国计算机学会理事。现任北京邮电大学教授，北京邮电大学学术委员会委员、计算机学院应用技术中心主任、 “智能通信软件与多媒体”北京市重点实验室主任；研究方向为多媒体系统与网络、电子商务、形式化方法、网格技术等, 负责和参与完成10多项国家自然科学基金、863和部委级研究项目。近年来在国际国内核心刊物和会议上发表80余篇学术论文，著作3部，申请专利3项（1项已授权）。 |
 | 执行主席 王千祥 博士。YOCSEF学术委员会委员，中国计算机学会软件工程专业委员会委员兼秘书长。现任北京大学副教授。主要从事网络化软件与软件工程研究，近年来在国内外重要刊物和会议上发表学术论文40余篇，专著一部，译著3部。申请专利4项（1项已授权）。2004年中创软件人才奖获得者 |
 | 特邀讲者 周巢尘 中国科学院软件研究所研究员，中国科学院院士，第三世界科学院院士。曾任联合国大学国际软件技术研究所所长。长期从事计算机科学理论的研究，在软件形式化理论方面做出了系统的、创造性的工作，取得了具有国际先进水平的研究成果。是我国分布式程序设计理论研究的先驱者和开拓者之一。在程序设计理论，特别是“分布式程序设计理论”的研究方面有卓越成绩，获1987年国家自然科学二等奖。近年来致力于时段演算(Duration Calculus)的研究，取得了丰富的成果，已经成为实时系统形式化领域中国际公认的新途径。 报告提要：程序验证的新动向。第一部分简单介绍程序断言(Assertion)的概念，断言方法在工业界的应用以及国际上的验证编译器(Verifying Compiler)计划；第二部分介绍程序验证和代数符号计算的关系，并建议应用我国代数符号计算方面的杰出成就于程序验证的研究。 |
 | 特邀讲者 应明生 清华大学计算机科学与技术系智能技术与系统国家重点实验室“长江学者奖励计划”特聘教授，曾在抚州师范专科学校数学系、江西师范大学数学系、南京航空航天大学计算机科学与工程系任教。主要从事形式化方法、人工智能基础理论、量子计算、模糊逻辑等方面的研究工作，在Acta Informatica、Artificial Intelligence、IEEE Transactions on Information Theory、Journal of Symbolic Logic、Theoretical Computer Science等权威刊物上发表一系列有重要影响的论文。 报告提要：经典计算理论是基于Boolean逻辑的。早在20世纪30年Birkhoff与von Neumann就指出了量子世界不再遵循布尔逻辑，建立了量子逻辑。近年来，量子计算的研究十分活跃。在这样的背景下，我们提出并较为系统地发展了基于量子逻辑的计算理论，揭示了它与经典计算理论之间的一些本质区别：（1）计算理论中的一些根本性质的普遍有效性要求元逻辑必须退归为Boolean逻辑；（2）附加交换子可以恢复这些性质的局部有效性。 |
会场示意图：
京公网安备 11010802032778号
所有评论仅代表网友意见