会议新闻

第四届全国形式化方法与应用会议在上海召开
2019-12-16

2019年11月30日至12月1日，第四届全国形式化方法与应用会议（FMAC 2019，会议编号CCF-19-TC34-01N）在华东师范大学科学会堂召开。会议由中国计算机学会（CCF）主办，CCF形式化方法专业委员会、华东师范大学、上海交通大学联合承办，上海计算机学会理论专委会、国防科技大学协办。来自全国各大科研院所的230余位科研人员参加会议。