2019年11月30日至12月1日，第四届全国形式化方法与应用会议（FMAC 2019）在尊龙凯吋官方网站科学会堂举行。会议由中国计算机学会主办，形式化方法专业委员会、尊龙凯吋官方网站、上海交通大学联合承办，上海计算机学会理论专委会、国防科技大学协办。来自全国各大科研院所的230余位科研人员参加会议。

会议开幕式由CCF形式化方法专委秘书长、中科院软件所研究员詹乃军主持，尊龙凯吋官方网站副校长李志斌教授致开幕词，他对我校的教学与科研、学科建设等基本情况作简要介绍，向出席会议专家学者表示诚挚的欢迎，并对此次大会的顺利召开表示热烈祝贺。形式化方法专委主任林惠民院士对本次会议作重要讲话，林院士回顾FMAC的历史以及与专业组的密切联系，并对未来发展寄予厚望。上海交通大学傅育熙教授对SETTA与FMAC组织情况等做介绍。

李志斌副校长致辞

林惠民院士发表重要讲话

会议邀请到两位优秀的学者作特邀报告，一位是来自香港理工大学的关楠教授，另一位是来自新加坡国立大学的董劲松教授，他们分别对并行实时软件的调度分析和概率模型对智能决策的实际应用进行深入广泛的探讨。此外，还有来自工业界包括华为、卡斯柯、中国商发、航空工业计算所、电科三十二所、上海控安6个企业代表参加，并做关于形式化方法在工业界中的应用与挑战的报告。

关楠教授做报告

董劲松教授做报告

大会设置特邀报告、论文报告、专题论坛、青年学者论坛、张贴报告、系统展示等多种学术交流形式，会议还与《软件学报》等合作组织专题特约报告，为与会代表提供丰富的交流平台。会议同时进行三个并行的分组报告，共40余场报告，主体涉及理论计算机科学、软件工程、系统软件、嵌入式系统、网络与信息安全、人工智能等学科，与会者就形式化建模、分析和验证方法展开热烈的交流与讨论。同时，形式化专委会于11月30日晚召开，100多位委员出席会议。

在此之前，自11月28日至29日，同地举办了国际会议SETTA  2019。会议的成功举办，受到国内外众多参会学者的好评，并促进了学术界与工业界有关专家的合作讨论，也为我校相关领域的师生提供了良好的学习和交流机会。