征文范围

- 形式化方法的基础理论:与规约、验证、精化、静态与动态分析等相关的形式化理论

- 形式化方法的技术和工具:形式化方法支持的自动分析、模型检验、定理证明、系统设计与综合等技术和工具

- 形式化方法的应用与实践:形式化方法、技术和工具在实际中应用与实证研究、形式化方法与软件和系统工程的过程集成、方法集成和环境集成等

- 形式化方法的多学科交叉:形式化方法在多学科交叉(如数学控、制科学、智能科学和生命科学)框架下的技术、工具和运用等

- 形式化方法的教育:形式化方法在大学课程和继续教育与培训中的作用、实践与经验

投稿要求

- 稿件未在国内外公开发行的刊物或会议论文集上发表

- 只接收PDF格式的电子稿件(全文方式)

- 中文论文篇幅限定在10页A4纸之内(格式要求参照《软件学报》投稿文章格式

- 英文论文篇幅限定在15页纸A4纸之内(格式要求参照《中国科学》英文版投稿文章格式

投稿方式及重要日期

- 论文投稿使用easychair,投稿链接:FMAC 2017

- 投稿截止日期:2017年7月31日

- 录用通知日期:2017年9月15日