2024年11月15日至17日，2024 CCF 中國軟件大會(2024 CCF ChinaSoft)將在西安高新國際會議中心舉行。大會由中國計算機(jī)學(xué)會(CCF)主辦，CCF軟件工程專委會、系統(tǒng)軟件專委會、形式化方法專委會、西安電子科技大學(xué)承辦。知存科技技術(shù)副總裁賴梁禎博士將參與大會論壇并作主題報告，分享存算芯片生態(tài)成果及研發(fā)探索。同時，知存科技將攜“天才博士計劃”(點(diǎn)擊回顧“天才博士計劃”)亮相大會展區(qū)，歡迎現(xiàn)場的優(yōu)秀碩博學(xué)者、參會成員蒞臨展位交流。

時間：2024年11月15-17日

地點(diǎn)：陜西省西安高新國際會議中心

大會簡介

CCF中國軟件大會由全國軟件與應(yīng)用學(xué)術(shù)會議(NASAC)與全國形式化方法與應(yīng)用會議(FMAC)兩個會議有機(jī)組成。NASAC創(chuàng)立于2002年，已舉辦二十二屆，由CCF主辦，CCF軟件工程專業(yè)委員會與CCF系統(tǒng)軟件專業(yè)委員會共同承辦，是中國軟件科學(xué)與工程相關(guān)領(lǐng)域參會人數(shù)最多、影響范圍最廣、涵蓋內(nèi)容最全面的學(xué)術(shù)會議。全國形式化方法與應(yīng)用會議(FMAC)創(chuàng)立于2016年，歷經(jīng)八屆，由CCF主辦，CCF形式化方法專業(yè)委員會承辦。FMAC聚焦形式化方法理論前沿和最新研究進(jìn)展，深化拓展形式化方法與相關(guān)領(lǐng)域的交叉，促進(jìn)形式化方法、工具和應(yīng)用在國內(nèi)的發(fā)展。

在往屆大會成功舉辦的基礎(chǔ)上，2024 CCF中國軟件大會將組織特邀報告、院士高峰論壇、青年學(xué)者論壇、大會常設(shè)論壇、論文?？搲㈨敃斂搲?、學(xué)術(shù)論壇、工業(yè)論壇、教育論壇、學(xué)科競賽、軟件研究成果展示等近50個不同類型的活動。大會將邀請超過10位軟件及相關(guān)領(lǐng)域中國科學(xué)院院士與中國工程院院士，為大會帶來特邀報告并參加院士高峰論壇等活動。擬出席大會的兩院院士包括中國科學(xué)院院士 林惠民、中國科學(xué)院院士 梅宏、中國科學(xué)院院士 呂建、中國工程院院士 廖湘科、中國科學(xué)院院士 楊孟飛、中國科學(xué)院院士管曉宏、中國工程院院士陸軍、中國科學(xué)院院士 王懷民、中國科學(xué)院院士 馮登國、中國科學(xué)院院士 錢德沛、中國科學(xué)院院士胡事民、中國工程院院士 尼瑪扎西等。