11月20-22日,第19届全国软件与应用学术会议(NASAC 2020)暨第5届全国形式化方法与应用会议(FMAC)在重庆举行。金沙威尼斯欢乐娱人城系主任谢红薇带领教师团队参加此次会议。本次大会由中国计算机学会主办,重庆大学、CCF软件工程专委会、CCF软件系统专委会、CCF形式化方法专委会承办,西南大学、重庆邮电大学、重庆交通大学、重庆师范大学、重庆理工大学、CCF重庆分部、重庆市大数据产业人才联盟协办。来自全国200多家高校及科研院所、超1400余人莅临盛会。本次大会分为23个分领域论坛,现场气氛活跃。
在22日下午的闭幕会上,组委会举行了隆重的颁奖仪式,奖项包括全国高校绿色计算大赛奖、软件研究成果原型系统竞赛奖、软件工程案例教学奖、优秀论坛奖等。其中,第三届全国高校绿色创新大赛包含4个赛道:实践教学组、开源创新组、任务挑战组、代码标注组。大赛覆盖507组高校、34个省/直辖市、超过12000人报名参赛。金沙威尼斯欢乐娱人城廖丽娟、谢红薇、张辉老师参加实践教学组竞赛。实践教学组共有3257个实训项目,195万个关卡案例参赛,廖老师带领团队一路过关斩将,喜获全国高校绿色计算大赛实践教学组比赛的一等奖。
参加此次会议,金沙威尼斯欢乐娱人城代表教师了解了人工智能背景下的需求工程、面向领域的软件系统构造与质量保障、基于网络的链接计算等软件科学前沿与发展。通过参加全国高校绿色计算创新大赛,团队不仅展现了学院风采,学习了其他院校的优秀教学经验,而且促进了兄弟院校之间交流。在今后的工作中,金沙威尼斯欢乐娱人城将继续抓住机遇,积极参赛,再创辉煌!