2023年CCF中國軟件大會(huì)（CCF ChinaSoft 2023）由中國計(jì)算機(jī)學(xué)會(huì)(CCF)主辦,，CCF軟件工程專委會(huì)、系統(tǒng)軟件專委會(huì),、形式化方法專委會(huì)以及復(fù)旦大學(xué)承辦,，于2023年12月1-3日在上海國際會(huì)議中心舉行。我校計(jì)算機(jī)與信息學(xué)院PRiSE研究組研究生陳林俊和方應(yīng)濤參加會(huì)議,。

本次大會(huì)以“智能化軟件創(chuàng)新推動(dòng)數(shù)字經(jīng)濟(jì)與社會(huì)發(fā)展”為主題,。大會(huì)組織特邀報(bào)告、院士論壇,、NASAC青年創(chuàng)新獎(jiǎng)?wù)搲?、頂?huì)頂刊論壇、優(yōu)秀博士生論壇,、優(yōu)秀青年學(xué)者論壇以及論文?？搲⒐I(yè)論壇,、教育論壇,、學(xué)科競賽等40余場各類活動(dòng)。

會(huì)議通過報(bào)告,、論壇,、分論壇、線上直播和展覽等形式,，為廣大從事計(jì)算機(jī)行業(yè)相關(guān)人員提供了一個(gè)科研交流融合的平臺(tái),。會(huì)議涵蓋了頂會(huì)頂刊論壇,、生成式AI與軟件自動(dòng)化論壇、形式化方法與應(yīng)用論壇,、AIGC下的軟件工程范式論壇,、軟件工程教育論壇、系統(tǒng)軟件教育論壇云際計(jì)算技術(shù)論壇等,。大會(huì)聚焦形式化方法理論前沿和最新研究進(jìn)展,，深化拓展形式化方法與相關(guān)領(lǐng)域的交叉，促進(jìn)形式化方法,、工具和應(yīng)用在國內(nèi)的發(fā)展,。對(duì)我國計(jì)算機(jī)科研與應(yīng)用水平的提高起到積極推動(dòng)作用。

通過本次會(huì)議,，從不同維度全方位探討了國內(nèi)外計(jì)算機(jī)發(fā)展的最新動(dòng)態(tài)和前沿技術(shù),，探求了科研創(chuàng)新、技術(shù)進(jìn)步,、人才培養(yǎng)等難題的解決之道,，為推動(dòng)我國軟件產(chǎn)業(yè)的高質(zhì)量發(fā)展貢獻(xiàn)力量。

（文：陳林??；圖：方應(yīng)濤；審核：王勇）