11月25日上午，计算机科学国家重点实验室学术委员会2020年度会议软件所召开。软件所所长赵琛以及林惠民院士等所内委员参加了此次会议，中国人民解放军军事科学院梅宏院士、南京大学吕建院士等所外委员以线上方式参会。会议由学术委员会主任梅宏主持。 

　　赵琛首先致辞，对委员们多年来给予实验室的关心和支持表示感谢，并简单介绍了软件所“十三五”工作评估结果及“十四五”工作规划。随后，实验室主任沈一栋代表实验室作年度工作报告，向委员们汇报了实验室2019年度在科研进展、开放交流、人才队伍等方面的情况，以及2020年度的工作计划。实验室副研究员David Jansen作了题为“A Simpler & O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems”的学术报告，并回答了委员提问。 

　　委员们充分肯定了实验室在2019年取得的科研进展和成果，并结合目前科研的大环境和实验室特色，对实验室未来发展、科研方向等方面提出了中肯的意见与建议。