CCF中國(guo)軟(ruan)件(jian)大會由(you)中國(guo)計(ji)算機學(xue)會（CCF）主辦(ban)，CCF軟(ruan)件(jian)工(gong)程專(zhuan)(zhuan)(zhuan)委(wei)會、系統軟(ruan)件(jian)專(zhuan)(zhuan)(zhuan)委(wei)會、形(xing)式化方法(fa)專(zhuan)(zhuan)(zhuan)委(wei)會、復旦大學(xue)承辦(ban)，由(you)全國(guo)軟(ruan)件(jian)與(yu)應(ying)用(yong)學(xue)術會議(yi)（NASAC）與(yu)全國(guo)形(xing)式化方法(fa)與(yu)應(ying)用(yong)會議(yi)（FMAC）兩個會議(yi)有(you)機組成。其中，NASAC創(chuang)立于2002年(nian)，是(shi)中國(guo)軟(ruan)件(jian)科學(xue)與(yu)工(gong)程相關(guan)領域參會人數多、影響(xiang)范圍廣、涵蓋內容(rong)全面的(de)(de)學(xue)術會議(yi)；FMAC創(chuang)立于2016年(nian)，聚焦形(xing)式化方法(fa)理(li)論前沿和最(zui)新研究(jiu)進展，深化拓展形(xing)式化方法(fa)與(yu)相關(guan)領域的(de)(de)交叉，促(cu)進形(xing)式化方法(fa)、工(gong)具和應(ying)用(yong)在(zai)國(guo)內的(de)(de)發展。
大會(hui)將(jiang)組織(zhi)特邀報告、青年學(xue)者論(lun)(lun)壇(tan)(tan)、論(lun)(lun)文專刊論(lun)(lun)壇(tan)(tan)、頂(ding)會(hui)頂(ding)刊論(lun)(lun)壇(tan)(tan)、優秀博士(shi)生(sheng)論(lun)(lun)壇(tan)(tan)、學(xue)術論(lun)(lun)壇(tan)(tan)、工業論(lun)(lun)壇(tan)(tan)、教(jiao)育(yu)論(lun)(lun)壇(tan)(tan)、學(xue)科競賽(sai)等30余個不(bu)同類(lei)型的(de)活動。
州(zhou)州(zhou)
】編(bian)輯上傳提(ti)供(gong)，當前頁(ye)面(mian)所(suo)展示的詞條介紹涉及宣傳內容屬(shu)于注冊用戶個人編(bian)輯行為，網(wang)站(zhan)不(bu)完全(quan)保(bao)證內容信息的準確性(xing)、真實性(xing)，也不(bu)代表(biao)本(ben)站(zhan)立場(chang)。
