CCF中國(guó)軟件大會(huì)
CCF中國(guó)軟件大會(huì)由中國(guó)計(jì)算機(jī)學(xué)會(huì)(CCF)主辦,CCF軟件工程專委會(huì)、系統(tǒng)軟件專委會(huì)、形式化方法專委會(huì)等單位承辦,由全國(guó)軟件與應(yīng)用學(xué)術(shù)會(huì)議(NASAC)與全國(guó)形式化方法與應(yīng)用會(huì)議(FMAC)兩個(gè)會(huì)議有機(jī)組成。其中,NASAC創(chuàng)立于2002年,是中國(guó)軟件科學(xué)與工程相關(guān)領(lǐng)域參會(huì)人數(shù)多、影響范圍廣、涵蓋內(nèi)容全面的學(xué)術(shù)會(huì)議;FMAC創(chuàng)立于2016年,聚焦形式化方法理論前沿和最新研究進(jìn)展,深化拓展形式化方法與相關(guān)領(lǐng)域的交叉,促進(jìn)形式化方法、工具和應(yīng)用在國(guó)內(nèi)的發(fā)展。
會(huì)議基本信息
- 會(huì)議名稱:2025CCF中國(guó)軟件大會(huì),中國(guó)軟件大會(huì)2025
- 會(huì)議時(shí)間:2025年11月28日-30日
- 會(huì)議地點(diǎn):武漢國(guó)際會(huì)議中心
- 舉辦城市:武漢市
- 舉辦周期:一年一次
- 主辦單位:中國(guó)計(jì)算機(jī)學(xué)會(huì)(CCF)
- 承辦單位:CCF軟件工程專委會(huì)、系統(tǒng)軟件專委會(huì)、形式化方法專委會(huì)、武漢大學(xué)
- 會(huì)議網(wǎng)址:點(diǎn)擊查看
會(huì)議活動(dòng)
本次大會(huì)將組織特邀報(bào)告、青年學(xué)者論壇、論文??搲?、頂會(huì)頂刊論壇、優(yōu)秀博士生論壇、學(xué)術(shù)論壇、工業(yè)論壇、教育論壇、學(xué)科競(jìng)賽等40余個(gè)不同類型的活動(dòng)。
歷屆回顧
會(huì)議名稱 |
舉辦城市 |
會(huì)議主題 |
舉辦地點(diǎn) |
舉辦時(shí)間 |
2024CCF中國(guó)軟件大會(huì),中國(guó)軟件大會(huì)2024 |
西安市 |
|
西安高新國(guó)際會(huì)議中心
|
2024年11月15日-17日 |
2023CCF中國(guó)軟件大會(huì),中國(guó)軟件大會(huì)2023 |
上海市 |
|
上海國(guó)際會(huì)議中心
|
2023年12月01日-03日 |
本百科詞條由網(wǎng)站注冊(cè)用戶【
CN109762
】編輯上傳提供,當(dāng)前頁(yè)面所展示的詞條介紹涉及宣傳內(nèi)容屬于注冊(cè)用戶個(gè)人編輯行為,網(wǎng)站不完全保證內(nèi)容信息的準(zhǔn)確性、真實(shí)性,也不代表本站立場(chǎng)。
版權(quán)聲明
反饋
我要認(rèn)領(lǐng)