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

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

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