11月20至22日，第19屆全國軟件與應(yīng)用學術(shù)會議(NASAC 2020)暨第5屆全國形式化方法與應(yīng)用會議(FMAC)在重慶舉行。太原理工大學軟件學院系主任謝紅薇帶領(lǐng)教師團隊參加此次會議。本次大會由中國計算機學會主辦，重慶大學、CCF軟件工程專委會、CCF軟件系統(tǒng)專委會、CCF形式化方法專委會承辦，西南大學、重慶郵電大學、重慶交通大學、重慶師范大學、重慶理工大學、CCF重慶分部、重慶市大數(shù)據(jù)產(chǎn)業(yè)人才聯(lián)盟協(xié)辦。來自全國200多家高校及科研院所、超1400余人蒞臨盛會。本次大會分為23個分領(lǐng)域論壇，現(xiàn)場氣氛活躍。

在22日下午的閉幕會上，組委會舉行了隆重的頒獎儀式，獎項包括全國高校綠色計算大賽獎、軟件研究成果原型系統(tǒng)競賽獎、軟件工程案例教學獎、優(yōu)秀論壇獎等。其中，第三屆全國高校綠色創(chuàng)新大賽包含4個賽道：實踐教學組、開源創(chuàng)新組、任務(wù)挑戰(zhàn)組、代碼標注組。大賽覆蓋507組高校、34個省/直轄市、超過12000人報名參賽。我校軟件學院廖麗娟、謝紅薇、張輝等三位老師參加實踐教學組競賽。實踐教學組共有3257個實訓項目，195萬個關(guān)卡案例參賽，廖麗娟帶領(lǐng)團隊一路過關(guān)斬將，喜獲全國高校綠色計算大賽實踐教學組比賽的一等獎。

參加此次會議，軟件學院代表教師了解了人工智能背景下的需求工程、面向領(lǐng)域的軟件系統(tǒng)構(gòu)造與質(zhì)量保障、基于網(wǎng)絡(luò)的鏈接計算等軟件科學前沿與發(fā)展。通過參加全國高校綠色計算創(chuàng)新大賽，團隊不僅展現(xiàn)了學院風采，學習了其他院校的優(yōu)秀教學經(jīng)驗，而且促進了兄弟院校之間交流。在今后的工作中，軟件學院將繼續(xù)抓住機遇，積極參賽，再創(chuàng)輝煌！