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

時間：2024年11月15-17日

地點：陜西省西安高新國際會議中心

大會簡介

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

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