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：基于覆盖准则的自动测试的研究进展
       报  告  人：华东师范大学 蒲戈光

结束