CCF形式化方法专委会换届选举的公告

阅读量:3049 2019-06-13 收藏本文

根据CCF常务理事会决定，经CCF形式化方法专委会申请，CCF专委工作委员会批准，形式化方法专委会将于2019年7月26日在北京举行换届选举会，届时将选举专委主任、副主任、秘书长及常委。

即日起，该专委的换届工作将依照新修订的《CCF专业委员会领导机构选举办法》进行，主任、副主任、秘书长、常委实行公开选举制，并均为差额选举。任何有参选意愿并符合参选条件的专委委员均可提出参选申请，须在7月4日24:00前将参选申请表（表格下附）提交至专委的选举工作组，逾期申请无效。专委委员也可联名提名其他符合条件的委员参选，但须获得本人同意。

本次教育专委换届工作组成员如下：

1、选举工作组：

组长:林惠民 lhm@ios.ac.cn

成员:段振华 zhhduan@mail.xidian.edu.cn

缪淮扣 hkmiao@shu.edu.cn

方菱 fang.ling@outlook.com

2、提名工作组：

组长:胡事民（CCF专委工委主任）shimin@tsinghua.edu.cn

成员:李宣东 lxd@nju.edu.cn

裘宗燕 qzy@math.pku.edu.cn

本着开放民主办会精神，选举过程接受全体会员监督，任何意见和建议可发至学会总部（tc@ccf.org.cn)。参选人如有申诉，也可将邮件发至该信箱。收到后，CCF将受理并给予一一答复。

此公告。

中国计算机学会

2019年6月13日

-----------------------------