返回首页

会议新闻

More

2024 CCF形式化方法专委会战略研讨会在苏州CCF业...

2024年月5月5日(星期日),在江苏苏州CCF业务总部学术交流中心105会议室召开了“2024 CCF形式化方法专委会战略研讨会”,此次研讨会主题为“形式化方法与人工智能的交叉融合:机遇与挑战”,关注“AI for FM”与“FM for AI”两方面的机遇与挑战。此次研讨会吸引了来自...

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

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

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

APP下载地址>>