新闻动态 更多 程序设计语言实验室一篇论文被OOPSLA'23接收 程序语言领域顶级会议OOPSLA’23近日公布论文录用名单,程序设计语言研究室一篇论... Feb 24 , 2024 Nov 29 , 2023 程序设计语言实验室一篇论文被POPL'24接收 Apr 02 , 2023 熊英飞副教授获得电子学会自然科学一等奖 Feb 25 , 2023 程序设计语言实验室两篇论文被OOPSLA'23接收 Dec 09 , 2022 程序设计语言实验室两篇论文被ICSE'23接收 Dec 01 , 2022 程序设计语言研究室一篇论文被POPL’23接收 Oct 07 , 2022 程序设计语言研究室2020级博士生吉如一荣获“微软学者”奖学... Sep 01 , 2022 王迪助理教授加入程序设计语言研究室 通知公告 更多 30 Oct 第十一届北京大学程序设计语言讨论班 19 Sep 程序设计语言海外名家微型课程 15 Sep 第十届北京大学程序设计语言讨论班 招聘信息 更多 2020-09-21 北京大学程序设计语言研究室博士后招聘(长期有效)