CCF中(zhong)國(guo)軟(ruan)件(jian)大(da)會(hui)(hui)(hui)由(you)中(zhong)國(guo)計(ji)算機(ji)(ji)學(xue)會(hui)(hui)(hui)(CCF)主辦(ban),CCF軟(ruan)件(jian)工程(cheng)專委會(hui)(hui)(hui)、系統軟(ruan)件(jian)專委會(hui)(hui)(hui)、形(xing)(xing)式化(hua)方法(fa)專委會(hui)(hui)(hui)、復旦(dan)大(da)學(xue)承(cheng)辦(ban),由(you)全(quan)國(guo)軟(ruan)件(jian)與(yu)應(ying)用學(xue)術會(hui)(hui)(hui)議(NASAC)與(yu)全(quan)國(guo)形(xing)(xing)式化(hua)方法(fa)與(yu)應(ying)用會(hui)(hui)(hui)議(FMAC)兩個會(hui)(hui)(hui)議有機(ji)(ji)組成(cheng)。其中(zhong),NASAC創立于2002年,是中(zhong)國(guo)軟(ruan)件(jian)科(ke)學(xue)與(yu)工程(cheng)相關領(ling)域參會(hui)(hui)(hui)人數多、影響范圍廣、涵蓋內容全(quan)面的學(xue)術會(hui)(hui)(hui)議;FMAC創立于2016年,聚焦形(xing)(xing)式化(hua)方法(fa)理論前沿和(he)(he)最新研(yan)究進展(zhan),深化(hua)拓展(zhan)形(xing)(xing)式化(hua)方法(fa)與(yu)相關領(ling)域的交(jiao)叉,促進形(xing)(xing)式化(hua)方法(fa)、工具(ju)和(he)(he)應(ying)用在(zai)國(guo)內的發(fa)展(zhan)。
大會將組織特邀報告、青(qing)年學者論(lun)(lun)(lun)壇、論(lun)(lun)(lun)文專刊論(lun)(lun)(lun)壇、頂會頂刊論(lun)(lun)(lun)壇、優秀博(bo)士(shi)生論(lun)(lun)(lun)壇、學術論(lun)(lun)(lun)壇、工業(ye)論(lun)(lun)(lun)壇、教育論(lun)(lun)(lun)壇、學科競賽(sai)等30余個不同類(lei)型的(de)活(huo)動。