全国软件与应用学术会议：中国计算机学会主办，软件工程专委、系统软件专委承办的软件领域盛会大会设置特邀报告、论文报告、优博论坛、青年学者论坛、软件系统原型和产品展示等多种学术交流形式。
全国形式化方法与应用会议：中国计算机学会主办，形式化方法专委承办，立足于形式化方法核心内容，深化拓展形式化方法与相关领域的交叉，加强学术界与工业界合作，在科学研究、人才培养、国际交流、应用实践等方面努力开展卓有成效的工作，促进形式化方法在中国的发展。
林惠民
中国科学院院士
邬江兴
中国工程院院士
何积丰
中国科学院院士
于全
中国工程院院士
徐宗本
中国科学院院士
梅宏
中国科学院院士
吕建
中国科学院院士
柴洪峰
中国工程院院士
王怀民
中国科学院院士
![华为[钻石赞助]](static\images\logo-huawei.png)
![OPPO[白金赞助]](static\images\logo-oppo.jpg)
![百度[白金赞助]](static\images\logo-baidu.png)
![航天宏图[白金赞助]](static\images\logo-hongtu.jpeg)
![前沿动力[白金赞助]](static\images\logo-qianyandongli.png)
![轩宇信息[黄金赞助]](static\images\logo-xuanyu.png)
![蚂蚁集团[黄金赞助]](static\images\logo-ant.jpg)
![荣耀[黄金赞助]](static\images\logo-hornor.png)
![科大讯飞[黄金赞助]](static\images\logo-xunfei.png)
![达闼[赞助]](static\images\logo-dt.png)
![同盾科技[赞助]](static\images\logo-tongdun.png)
![测吧（北京）科技[赞助]](static\images\huogewozi-logo.png){kind=logo}
![龙田科技[赞助]](static\images\logo-longtian.png)
![上海控安[赞助]](static\images\logo-kongan.png)
![科大国创[赞助]](static\images\logo-guochuang.png)