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

阅读量:432 2018-07-10 收藏本文

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