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