新闻动态 更多 程序语言实验室论文被 FM'24 接受 形式化方法顶级会议 FM'24 近日公布论文录用名单,程序设计语言研究室的论文《Prov... Aug 06 , 2024 Aug 06 , 2024 程序语言实验室孙奕灿同学的论文获 STOC'24 最佳论文奖 Nov 29 , 2023 程序设计语言实验室一篇论文被POPL'24接收 Oct 16 , 2023 程序设计语言实验室一篇论文被OOPSLA'23接收 Apr 02 , 2023 熊英飞副教授获得电子学会自然科学一等奖 Feb 25 , 2023 程序设计语言实验室两篇论文被OOPSLA'23接收 Dec 09 , 2022 程序设计语言实验室两篇论文被ICSE'23接收 Dec 01 , 2022 程序设计语言研究室一篇论文被POPL’23接收 通知公告 更多 29 Sep 第十六届北京大学程序设计语言讨论班 12 Jul 第十四届北京大学程序设计语言讨论班 27 Jun 第十三届北京大学程序设计语言讨论班 招聘信息 更多 2020-09-21 北京大学程序设计语言研究室博士后招聘(长期有效)