高可信软件技术教育部重点实验室学术委2019年会议于2020年1月11日在北大召开。参加会议的有学术委委员，大学科研部基地办主任、信科领导和计算机系主任、副主任等，并分别作了重要讲话。会上，由学术委主任林惠民院士主持，梅宏主任作年度工作报告，青年学者熊英飞博士作了关于《Learning to Synthesize》的技术报告。并就年度工作报告、技术报告、重点实验室的发展建设进行了讨论。
