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