| 2015年中国科学院学部“软件先进技术” 科学与技术前沿论坛 | |
| 时间：2015年7月22日-23日 地点：上海国丰酒店宴会厅2（上海普陀区大渡河路388号国盛中心1号座，021-60958888） | |
| 7月21日下午14:00-17:00 报道注册 | |
| 7月22日 | |
| 大会主题：可信计算I | |
| 主持人： 梅宏 院士 | |
| 08:40-09:00 | 开幕式 1、华东师范大学 校领导致欢迎辞 2、学部主任 李未院士致辞 3、论坛主席 何积丰院士宣布开幕 |
| 09:00-09:30 | 主题报告1：从服务计算到围绕人的计算：Cyborg Computing 报 告 人：浙江大学 吴朝晖 |
| 09:30-10:00 | 主题报告2: “平民化”——大数据技术发展的新目标 报 告 人：澳门大学 倪明选 |
| 10:00-10:30 | 合影 |
| 主持人：李未 院士 | |
| 10:30-11:00 | 主题报告3：可信计算评价与优化 报 告 人：清华大学 林闯 |
| 11:00-11:30 | 主题报告4：武器装备重大关键应用的先进软件技术研究 报 告 人：北京应用物理与计算数学研究所 莫则尧 |
| 11:30-12:00 | 主题报告5：复杂软件系统的成长性构造与适应性演化 报 告 人: 国防科技大学 王怀民 |
| 12:05 | 午餐 |
| 大会主题：信息安全I | |
| 主持人：何积丰 院士 | |
| 14:00-14:30 | 主题报告6：云计算安全的基础理论与方法研究 报 告 人：华中科技大学 金海 |
| 14:30-15:00 | 主题报告7: 布尔方程求解的特征列方法及其在密码分析中的应用 报 告 人：中科院数学与系统科学研究院 高小山 |
| 15:00-15:20 | 休息 |
| 大会主题：智能CPS | |
| 主持人：吕建 院士 | |
| 15:20-15:50 | 主题报告8：CPSS中人工智能关键技术及智慧健康计算服务系统研究 报 告 人：吉林大学 刘大有 |
| 15:50-16:20 | 主题报告9： 简论CPS智能性在运行支撑平台中的体现 报 告 人： 西北工业大学 周兴社 |
| 16:20-17:00 | 互动研讨 |
| 18：00 | 晚餐 |
| 7月23日 | |
| 大会主题：信息安全II | |
| 主持人：倪明选 教授 | |
| 09:00-09:30 | 主题报告1：Compilers: A Bane of Reliable and Secure Software 报 告 人：美国加州大学戴维斯分校 Zhendong Su |
| 09:30-10:00 | 主题报告2：信息安全的新趋势 -- 怎样改变人类的生活方式 报 告 人：华东师范大学 曹珍富 |
| 10:00-10:20 | 休息 |
| 大会主题：可信计算II | |
| 主持人：林闯 教授 | |
| 10:20-10:50 | 主题报告3：恶意软件的防御和检测 报 告 人：西安电子科技大学 段振华 |
| 10:50-11:20 | 主题报告4：验证的若干理论问题 报 告 人：上海交通大学 傅育熙 |
| 11:20-11:50 | 主题报告5：Parameterized Networks of Synchronized Automata (pNets): a semantic tool for analysing the behavior of distributed systems 报 告 人: INRIA-Sophia Antipolis Eric Madelaine |
| 12:00 | 午餐 |
| 大会主题:可信计算III | |
| 主持人： 刘大有 教授 | |
| 14:00-14:30 | 主题报告6：Metamorphic Testing: A Simple Approach to Alleviate the Oracle Problem 报 告 人：澳大利亚斯威本科技大学 T．Y．Chen |
| 14:30-15:00 | 主题报告7：安全攸关软件的分析、测试与度量 报 告 人：南京大学/武汉大学 徐宝文 |
| 15:00-15:30 | 主题报告8：基于覆盖准则的自动测试的研究进展 报 告 人：华东师范大学 蒲戈光 |
| 结束 | |
