CCF YOCSEF重庆成功举办“计算机科学的问题与结构”学术报告会
2013年4月16日,由重庆邮电大学软件学院主办、中国计算机学会青年科技计算机论坛重庆分论坛(简称CCF YOCSEF重庆)承办的“计算机科学的问题与结构”学术报告会在重庆邮电大学第二国际会议厅顺利召开。重庆邮电大学、重庆理工大学、重庆师范大学等高校师生和CCF YOCSEF重庆成员共200余人参加了学术报告会。学术报告会由CCF YOCSEF重庆主席、重庆邮电大学软件学院院长钱鹰教授主持。
下午4点学术报告会正式开始,钱鹰教授致欢迎辞,并简要介绍了特邀讲者傅育熙教授的简历。在学术报告中,上海交通大学博士生导师、国务院学位委员会学科评议组成员、国家杰出青年基金获得者傅教授,概述了计算机科学的重大结果,提出从更基本的角度构建计算机科学的理论框架。傅教授认为,数学是人类智慧、科学是自然规律,并从数学与计算机科学的关系入手阐述了计算机科学中什么问题可以用模型解决、怎样解决问题以及怎样有效地解决问题;傅教授还简要地介绍了计算机科学中的不动点(fixpoint)方法和计算机科学结构的研究进展—模型理论(model theory)。在交流讨论环节,傅教授与参会人员围绕计算机科学中的问题、计算机科学的高等教育等方面进行了热烈讨论,分享了上海交通大学的成功经验。历时2小时的学术报告内容丰富、充满激情,赢得了参与人员的阵阵掌声。
![图1-主持人2013-04-22-11_13_11 图1-主持人2013-04-22-11_13_11](/upload/resources/image/2017/10/02/44039_500x500.jpg)
图1 钱鹰教授主持学术报告会
![图2-特邀讲者2013-04-22-10_50_56 图2-特邀讲者2013-04-22-10_50_56](/upload/resources/image/2017/10/02/44040_500x500.jpg)
图2 傅育熙教授做学术报告
![图3-学生听众2013-04-22-10_56_00 图3-学生听众2013-04-22-10_56_00](/upload/resources/image/2017/10/02/44041_500x500.jpg)
图3 参会大学生认真听报告
![图4-专家互动2013-04-22-11_01_21 图4-专家互动2013-04-22-11_01_21](/upload/resources/image/2017/10/02/44042_500x500.jpg)
图4 傅教授与专家听众互动讨论
![图5-听众互动2013-04-22-11_32_57 图5-听众互动2013-04-22-11_32_57](/upload/resources/image/2017/10/02/44043_500x500.jpg)
图5 同学们积极参与互动交流
![图6-合影2013-04-22-11_28_01 图6-合影2013-04-22-11_28_01](/upload/resources/image/2017/10/02/44044_500x500.jpg)
图6 合影留念