返回首页

会议新闻

More

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

2019年11月30日至12月1日,第四届全国形式化方法与应用会议(FMAC 2019,会议编号CCF-19-TC34-01N)在华东师范大学科学会堂召开。会议由中国计算机学会(CCF)主办,CCF形式化方法专业委员会、华东师范大学、上海交通大学联合承办,上海计算机学会理论专委会、国防科技...

机构群二维码(请使用CCFLink APP 扫码加入群聊)

APP下载地址>>