中國(guó)數(shù)學(xué)會(huì)計(jì)算機(jī)數(shù)學(xué)大會(huì)是由中國(guó)數(shù)學(xué)會(huì)下屬的計(jì)算機(jī)數(shù)學(xué)專業(yè)委員會(huì)主辦的系列學(xué)術(shù)會(huì)議。會(huì)議旨在為全國(guó)從事計(jì)算機(jī)數(shù)學(xué)的科研人員提供一個(gè)總結(jié)和交流國(guó)內(nèi)外計(jì)算機(jī)數(shù)學(xué)研究最新成果的平臺(tái)。第十三屆會(huì)議將由大連理工大學(xué)數(shù)學(xué)科學(xué)學(xué)院、大連海事大學(xué)理學(xué)院和中國(guó)科學(xué)院數(shù)學(xué)機(jī)械化重點(diǎn)實(shí)驗(yàn)室聯(lián)合承辦，于2023年6月15日至18日在遼寧大連舉行。

會(huì)議主題包括（但不限于）以下研究方向：

數(shù)學(xué)機(jī)械化理論、算法與應(yīng)用；

符號(hào)計(jì)算，符號(hào)與數(shù)值混合計(jì)算；

自動(dòng)推理與機(jī)器證明；

計(jì)算機(jī)數(shù)學(xué)在信息安全、程序驗(yàn)證、機(jī)器人和數(shù)控系統(tǒng)中的應(yīng)用；

計(jì)算機(jī)圖形學(xué)、模式識(shí)別等高科技領(lǐng)域中的數(shù)學(xué)方法；

計(jì)算機(jī)數(shù)學(xué)在物理、化學(xué)、生物和工程中的應(yīng)用；

數(shù)學(xué)軟件；

計(jì)算機(jī)技術(shù)在數(shù)學(xué)教育中的應(yīng)用;

人工智能的數(shù)學(xué)理論

會(huì)議資助

國(guó)家自然科學(xué)基金委員會(huì)

大連理工大學(xué)數(shù)學(xué)科學(xué)學(xué)院

大連海事大學(xué)理學(xué)院

Maplesoft中國(guó)

中國(guó)數(shù)學(xué)會(huì)

大會(huì)主席

于波 大連理工大學(xué)

程序委員會(huì)

馮如勇 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院（共同主席）
孫怡東 大連海事大學(xué)（共同主席）

雷 娜 大連理工大學(xué)（共同主席）

“計(jì)算幾何”專題程序委員會(huì)

朱春鋼 大連理工大學(xué)（專題主席）
伍鐵如 吉林大學(xué)
徐 崗 杭州電子科技大學(xué)

申立勇 中國(guó)科學(xué)院大學(xué)
李 新 中國(guó)科學(xué)技術(shù)大學(xué)
賈曉紅 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院

“密碼學(xué)”專題程序委員會(huì)

林昌露 福建師范大學(xué)（專題主席）
孫 兵 國(guó)防科技大學(xué)
崔 霆 信息工程大學(xué)

王保倉(cāng) 西安電子科技大學(xué)
龔 征 華南師范大學(xué)
潘彥斌 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院

“人工智能”專題程序委員會(huì)

劉日升 大連理工大學(xué)（專題主席）
李 波 南昌航空大學(xué)
藍(lán)如師 桂林電子科技大學(xué)

王怡洋 大連海事大學(xué)
蘇 卓 中山大學(xué)

“組合數(shù)學(xué)”專題程序委員會(huì)

林志聰 山東大學(xué)（專題主席）
嚴(yán)慧芳 浙江師范大學(xué)
陳紹示 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院
周 悅 國(guó)防科技大學(xué)

寧 博 南開大學(xué)
楊立波 南開大學(xué)
陳 曦 大連理工大學(xué)
侯慶虎 天津大學(xué)

“符號(hào)計(jì)算”專題程序委員會(huì)

唐曉弦 北京航空航天大學(xué)（專題主席）
李 偉 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院
張 熠 西交利物浦大學(xué)
徐 鳴 華東師范大學(xué)

孫 瑤 中科院信息工程研究所
楊 靜 廣西民族大學(xué)
陳長(zhǎng)波 中科院重慶綠色智能技術(shù)研究院
程進(jìn)三 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院

“符號(hào)數(shù)值混合計(jì)算”專題程序委員會(huì)

董 波 大連理工大學(xué)（專題主席）
李子佳 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院
張雷洪 蘇州大學(xué)

葉 科 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院
吳文淵 中科院重慶綠色智能技術(shù)研究院
胡勝龍 杭州電子科技大學(xué)

“數(shù)學(xué)軟件”專題程序委員會(huì)

楊爭(zhēng)峰 華東師范大學(xué)（專題主席）
陳長(zhǎng)波 中科院重慶綠色智能技術(shù)研究院
程進(jìn)三 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院

李 楠 深圳大學(xué)
夏壁燦 北京大學(xué)

“數(shù)學(xué)教育”專題程序委員會(huì)

申立勇 中國(guó)科學(xué)院大學(xué)（專題主席）
陳玉福 中國(guó)科學(xué)院大學(xué)
趙麗娜 北京化工大學(xué)

牟晨琪 北京航空航天大學(xué)
張樹功 吉林大學(xué)

組織委員會(huì)

孫怡東 大連海事大學(xué)
李 佳 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院
張旭平 大連理工大學(xué)
周代珍 中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院
郭 峰 大連理工大學(xué)
董 波 大連理工大學(xué) (主席)

杜 磊 大連理工大學(xué)
宋曉良 大連理工大學(xué)
陳曉彤 大連海事大學(xué)
徐麗君 大連海事大學(xué)
黃 輝 大連理工大學(xué)