您的位置:首页 > 新闻动态 > 新闻列表

“形式化方法专业组”晋升为“形式化方法专业委员会”

阅读量:1
2018-07-10

在2018年6月30日召开的中国计算机学会(CCF)第十一届常务理事会第六次会议上,与会常务理事听取了专委工委主任胡事民对形式化方法专业组成立2年多以来发展进程的介绍,全票表决通过形式化方法专业组晋升为形式化方法专委会。即日起,“形式化方法专业组”升格为“形式化方法专业委员会”。