软件研究成果原型系统竞赛 2020

NASAC

学术论文是目前学术成果的主要载体，也是学术交流的主要对象。但我们注意到，计算机领域的许多研究工作都会开发一个原型系统，以验证研究工作的价值。原型系统的交流因此也非常值得关注。与论文交流相比，原型系统的交流更加直观、吸引人，尤其是这种形式的交流对于研究成果向企业界转化非常有帮助。

“全国软件及应用学术会议”（NASAC）从2008年开始组织原型系统交流，取得了很好的效果，并得到了学会的支持。为进一步促进这项工作，从2013年开始，软件工程专委与系统软件专委联合举办“软件研究成果原型系统竞赛”。

2020年软件研究成果原型系统竞赛分为“自由型”与“命题型”。其中本届“命题型”原型系统竞赛的命题为缺陷检测类工具竞赛。

本届比赛对于命题型赛事，将同时邀请和鼓励企业界的软件系统或工具参与，更广泛地凝聚领域内研究与技术人员形成合力，催化“学”、“研”、“产”、“用”生态的进一步发展，促进有关技术的关键突破、持续改进以及在实践中的使用与推广。

自由型原型系统竞赛

日程安排：

时 间：2020 年11月21日（星期六）下午13:30-17:30

地 点：重庆大学虎溪校区理科楼 LA208

评审委员会：

主 席 魏 峻（中国科学院大学）

成 员 许 畅（南京大学）

郭 耀（北京大学）

孙海龙（北京航空航天大学）

梁广泰（华为公司）

窦文生（中科院软件所）

郝 丹（北京大学）