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

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

本次形式化方法专委换届工作组成员如下：

1、 选举工作组：

组长: 张健 zj@ios.ac.cn

成员: 刘关俊 liuguanjun@tongji.edu.cn；邓玉欣 yxdeng@sei.ecnu.edu.cn；

2、 提名工作组：

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

成员: 王戟 wj@nudt.edu.cn；顾斌 gubin88@yahoo.com.cn

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

此公告。

中国计算机学会

2023年6月19日

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

相关申请表格可点击下载：

CCF专业委员会负责人申请表（自荐）

CCF专业委员会负责人提名表（他荐）

CCF专业委员会常务委员申请表