会议新闻

2024 CCF形式化方法专委会战略研讨会在苏州CCF业务总部举办
2024-05-12

2024年月5月5日（星期日），在江苏苏州CCF业务总部&学术交流中心105会议室召开了“2024 CCF形式化方法专委会战略研讨会”，此次研讨会主题为“形式化方法与人工智能的交叉融合：机遇与挑战”，关注“AI for FM”与“FM for AI”两方面的机遇与挑战。此次研讨会吸引了来自高校、研究所、工业界共60余名专家参加。
第四届全国形式化方法与应用会议在上海召开
2019-12-16

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