2005年9月16日下午2:00,“理论计算机科学前沿进展”学术报告会如期在北京邮电大学教三楼一层多功能厅举行。中国科学院软件研究所周巢尘院士和清华大学计算机系的应明生教授分别做了题目为“程序验证的新动向”和“基于量子逻辑的计算理论”的学术报告。两位科学家结合自己的研究,分别介绍了理论计算机科学目前的发展现状和趋势、可能的突破点、典型的应用以及我国在理论计算机科学的研究成果等内容。报告会受到了与会者的热烈欢迎。
本次报告会恰逢北京邮电大学五十周年校庆期间,来自北京邮电大学、中科院计算所、北京航空航天大学等200多名师生参加了这次报告会,并与两位讲者进行了深入的探讨。会议由YOCSEF AC委员华东、千祥主持,主席事民、秘书长子德、学术秘书云得等参加了这次报告会。
会后,特邀讲者和AC委员们一起参观了北京邮电大学网络与交换技术国家重点实验室、智能通信软件与多媒体北京市重点实验室,并在北邮科技大厦举行了YOCSEF主席扩大会议,对9月24日AC会议的议题等内容进行了讨论。
匿名评论 所有评论仅代表网友意见
所有评论仅代表网友意见