188体育app官网_188体育投注

English 站点地图联系我们常见问题下载CCFLink CCF招聘登录

您的位置：首页 > 新闻 > CCF新闻

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

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

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

<<< 上一篇《CCF专业委员会条例》修订获得通过

CCF常务理事走进苏州与当地政府、学界、业界下一篇 >>>

<<< 下一篇 CCF常务理事走进苏州与当地政府、学界、业界

活动+: 会议竞赛认证培训 YOCSEF TF 吕梁振兴企智会

会员+: 会员简介会员权益加入CCF 加入CCF 会员交费合作伙伴

188体育投注+: CCCF 期刊会议讲稿图集数图编审委员会上传/发布作品 CCF DL Focus CCF数图走进高校

专委+: 专委简介专委条例工作问答专委名单

奖励+: 奖励动态奖励目录历年获奖名单奖项推荐评奖条例

188体育投注：CCF+: CCF简介组织机构规章服务项目 CCF大事记 CCF创建60周年联系我们

CCFLink APP

188体育投注

微信公众号

视频号

版权所有中国计算机学会技术支持：188体育app官网_188体育投注
联系电话： (+86)10 6256 2503 邮件：ccf@ccf.org.cn

京公网安备 11010802032778号京ICP备13000930号-4

网站建议或者意见请发送邮件：suggest@ccf.org.cn

投诉请联系：complain@ccf.org.cn

CCFLink下载

扫码下载CCFLink