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