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

時(shí)間：2024年11月15-17日

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

大會(huì)簡介

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

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