CCF YOCSEF重庆成功举办“计算机科学的问题与结构”学术报告会 图1 钱鹰教授主持学术报告会 图2 傅育熙教授做学术报告 图3 参会大学生认真听报告 图4 傅教授与专家听众互动讨论 图5 同学们积极参与互动交流 图6 合影留念 2013年4月16日，由重庆邮电大学软件学院主办、中国计算机学会青年科技计算机论坛重庆分论坛（简称CCF YOCSEF重庆）承办的“计算机科学的问题与结构”学术报告会在重庆邮电大学第二国际会议厅顺利召开。重庆邮电大学、重庆理工大学、重庆师范大学等高校师生和CCF YOCSEF重庆成员共200余人参加了学术报告会。学术报告会由CCF YOCSEF重庆主席、重庆邮电大学软件学院院长钱鹰教授主持。下午4点学术报告会正式开始，钱鹰教授致欢迎辞，并简要介绍了特邀讲者傅育熙教授的简历。在学术报告中，上海交通大学博士生导师、国务院学位委员会学科评议组成员、国家杰出青年基金获得者傅教授，概述了计算机科学的重大结果，提出从更基本的角度构建计算机科学的理论框架。傅教授认为，数学是人类智慧、科学是自然规律，并从数学与计算机科学的关系入手阐述了计算机科学中什么问题可以用模型解决、怎样解决问题以及怎样有效地解决问题；傅教授还简要地介绍了计算机科学中的不动点(fixpoint)方法和计算机科学结构的研究进展—模型理论(model theory)。在交流讨论环节，傅教授与参会人员围绕计算机科学中的问题、计算机科学的高等教育等方面进行了热烈讨论，分享了上海交通大学的成功经验。历时2小时的学术报告内容丰富、充满激情，赢得了参与人员的阵阵掌声。
CCF YOCSEF重庆成功举办“计算机科学的问题与结构”学术报告会
阅读量：109
<<< 上一篇
CCF YOCSEF重庆成功举办学术报告暨换届选举会
<<< 下一篇 CCF YOCSEF重庆成功举办“社交媒体转换为知识
读完这篇文章后，您心情如何？
推荐内容
More >>>- · YOCSEF沈阳举办针锋相对-2019关键信息基础设
- · CCF YOCSEF保定举办“数据上云，安不安全”技
- · CCF YOCSEF沈阳举办医学影像AI创新发展-十年
- · CCF YOCSEF保定成功举办论坛"产教融合，融什
- · CCF YOCSEF成都 成功举办“ 青城问道-人才争
- · YOCSEF沈阳举办走进高校:AI+5G背景下航空信息
- · YOCSEF沈阳举办第二期精英训练营沙漠穿越凝聚
- · CCF YOCSEF 成都成功举办“不同类型高校如何
- · YOCSEF 论坛 | 科研成果转化之痛谁之过
- · CCF YOCSEF沈阳•2019盛京论道•人工智能技术
- · YOCSEF广深联合成功举办大湾区IT创新论坛：
所有评论仅代表网友意见