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