全国形式化方法与应用会议FMAC2016-计算机科学国家.PDF

第一届全国形式化方法与应用会议 （FMAC 2016 ） 主办：中国计算机学会 承办：中国计算机学会形式化方法专业组 中国科学院软件研究所 2016 年11 月12 日-13 日 北京 第一届全国形式化方法与应用会议 （FMAC 2016 ） 会议介绍 形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统， 是改善和确保计算系统质量的重要方法，其模型、技术和工具已延生成为计算思维 的重要载体。 中国计算机学会形式化方法专业委员会成立于 2015 年 11 月，将立足于形式化 方法核心内容，深化拓展形式化方法与相关领域的交叉，加强学术界与工业界合作， 在科学研究、人才培养、国际交流、应用实践等方面努力开展卓有成效的工作，促 进形式化方法在中国的发展。 第一届全国形式化方法与应用会议（FMAC 2016）由中国计算机学会主办，形式 化方法专业委员会和中国科学院软件研究所承办，于2016 年 11 月12 日至13 日在 北京举行，并与 SETTA 2016 同地举办。大会将设置特邀报告、论文报告、专题论 坛、青年学者论坛、墙贴报告等多种学术交流形式，会议还与《软件学报》等合作 组织专题特约报告，为与会代表提供丰富的交流平台。会议特别欢迎形式化方法与 理论计算机科学、软件工程、系统软件、嵌入式系统、网络与信息安全、人工智能 等学科和领域交叉结合的研究成果和论文。会议征稿范围包括：  形式化方法的基础理论：与规约、验证、精化、静态与动态分析等相关 的形式化理论  形式化方法的技术和工具：形式化方法支持的自动分析、模型检验、定 理证明、系统设计与综合等技术和工具  形式化方法的应用与实践：形式化方法、技术和工具在实际中应用与实 证研究、形式化方法与软件和系统工程的过程集成、方法集成和环境集 成等  形式化方法的多学科交叉：形式化方法在多学科交叉（如控制科学、智 能科学和生命科学）框架下的技术、工具和运用等  形式化方法的教育：形式化方法在大学课程和继续教育与培训中的作用、 实践与经验 会议推荐部分优秀论文到《中国科学》（中英文版）、《International Journal of Software and Informatics》和《计算机学报》等期刊发表，会议其 它收录论文将在《计算机工程与科学》上发表。 大会主席 林惠民 中国科学院软件研究所，中国科学院院士 程序委员会主席 王 戟 国防科学技术大学 李宣东 南京大学 程序委员会 陈铭松 华东师范大学 董云卫 西北工业大学 方 菱 中国科学院合肥物质分院 冯新宇 中国科学技术大学 顾 斌 北京控制工程研究所 关 楠 香港理工大学 关 永 首都师范大学 胡 宁 中航工业西安航空计算技术研究所 贺 飞 清华大学 金乃永 新思科技 孔维强 大连理工大学 李国强 上海交大 李晓红 天津大学 李宣东 南京大学 李 智 广西师范大学 刘 剑 中国科学院信息工程研究所 刘 江 中国科学院重庆绿色智能技术研究院 吕 帅 吉林大学 孙 猛 北京大学 田 聪 西安电