CCF形式化方法专业组成立-CCF老网站-中国计算机学会

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

您的位置：首页 > 往期新闻查询 > CCF老网站

CCF形式化方法专业组成立

阅读量：83

2015-11-06

收藏本文

11月3日晚，中国计算机学会（CCF）形式化方法专业组成立大会在南京召开。CCF专委工委主任、中国人民大学杜小勇教授为专业组筹备小组组长，他于当天亲自主持了会议。

形式化方法专业组依据新修订的《CCF专业委员会换届选举条例》，实行主任、副主任、秘书长公开选举和差额选举。到场的首批专业组委员通过不记名投票方式，选举出专业组主任1名、秘书长1名和副主任４名，即日起上任。

首届形式化方法专业组负责人名单：

主　任：林惠民　中国科学院院士、中科院软件所研究员
　　副主任：王　戟　国防科技大学教授
　　　　　　傅育熙　上海交通大学教授
　　　　　　王　义　东北大学教授
　　　　　　朱惠彪　华东师范大学教授

秘书长：詹乃军　中科院软件所研究员

收藏本文

<<< 上一篇 CCF的未来——新老理事建言学会发展

CCFADL63期《软件定义网络（SDN）》开始报名下一篇 >>>

<<< 下一篇 CCFADL63期《软件定义网络（SDN）》开始报名

读完这篇文章后，您心情如何？

[ 0 ]人参与 (点击查看)

匿名评论所有评论仅代表网友意见

推荐内容

More >>>