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