2026年4月26日，第四届全国计算机科学技术名词审定委员会理论计算机科学分委员会召开第二次名词审定工作会议。本次会议以线下线上结合方式举办，线下会场设在中国科学院软件研究所。第四届全国计算机科学技术名词审定委员会顾问、中国科学院软件研究所研究员、中国科学院院士林惠民莅临本次会议。理论计算机科学分委会主任委员、北京大学教授詹乃军，分委会副主任委员、上海交通大学教授傅育熙（线上），分委会副主任委员、北京大学教授金芝，副主任委员、南京大学教授李宣东（线上），分委会副主任委员、清华大学长聘副教授李建，以及分委会40余位专家线下线上出席会议。全国科学技术名词审定委员会事务中心副主任张晖、审定业务四处处长刘金婷、副编审余前帆参加了本次会议。
照片合影
此次会议对理论计算机科学名词收词方案进行了二审，对所收选名词逐一审定，并讨论了存在的一些疑难问题，明确了下一步的工作计划。此次会议由詹乃军教授主持。
林惠民院士在致辞中强调了名词收选和审定工作对于学科建设和社会传播的重要性，并对审定工作做了重要建议。张晖副主任对理论计算机科学分委会各位委员认真细致的工作表示感谢，对此次会议的召开表示祝贺。詹乃军教授介绍了理论计算机科学审定分委会组成情况、工作计划及理论计算机科学名词收词工作总体情况。随后，分委会秘书处中国科学院计算技术研究所张家琳研究员、中山大学李绿周教授、中国科学院软件研究所安杰副研究员、浙江大学陈明帅研究员、中国科学院软件研究所吴志林研究员分别汇报了数据结构与算法设计、可计算性与计算复杂性、形式语言与自动机、程序理论、形式化方法5个二级目录的收词情况。委员们对这些名词进行了充分讨论和审定，会议审定名词800余条。截止本次工作会议，分委会初步完成了理论计算机科学所有名词的二审工作。
线上参会人员
最后，詹乃军教授对理论计算机科学名词的收词和审定工作情况进行了总结，并再次明确了下一步工作计划：（1）按照本次审定会议汇总意见进一步修改完善词条的归类和定名；（2）对领域交叉词汇与相关分委会进一步沟通协调；（3）待名词定名征求意见工作完成后，开展名词释义工作。
会议现场