11月25日上午，計算機科學國家重點實驗室學術委員會2020年度會議軟件所召開。軟件所所長趙琛以及林惠民院士等所內委員參加了此次會議，中國人民解放軍軍事科學院梅宏院士、南京大學呂建院士等所外委員以線上方式參會。會議由學術委員會主任梅宏主持。 

　　趙琛首先致辭，對委員們多年來給予實驗室的關心和支持表示感謝，并簡單介紹了軟件所“十三五”工作評估結果及“十四五”工作規劃。隨后，實驗室主任沈一棟代表實驗室作年度工作報告，向委員們匯報了實驗室2019年度在科研進展、開放交流、人才隊伍等方面的情況，以及2020年度的工作計劃。實驗室副研究員David Jansen作了題為“A Simpler & O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems”的學術報告，并回答了委員提問。 

　　委員們充分肯定了實驗室在2019年取得的科研進展和成果，并結合目前科研的大環境和實驗室特色，對實驗室未來發展、科研方向等方面提出了中肯的意見與建議。