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