中国数学会计算机数学大会是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。会议旨在为全国从事计算机数学的科研人员提供一个总结和交流国内外计算机数学研究最新成果的平台。第十三届会议将由大连理工大学数学科学学院、大连海事大学理学院和中国科学院数学机械化重点实验室联合承办，于2023年6月15日至18日在辽宁大连举行。
会议主题包括（但不限于）以下研究方向：
数学机械化理论、算法与应用；
符号计算，符号与数值混合计算；
自动推理与机器证明；
计算机数学在信息安全、程序验证、机器人和数控系统中的应用；
计算机图形学、模式识别等高科技领域中的数学方法；
计算机数学在物理、化学、生物和工程中的应用；
数学软件；
计算机技术在数学教育中的应用;
人工智能的数学理论
会议资助
国家自然科学基金委员会
大连理工大学数学科学学院
大连海事大学理学院
Maplesoft中国
中国数学会
大会主席
于波 大连理工大学
程序委员会
冯如勇 中科院数学与系统科学研究院（共同主席）
孙怡东 大连海事大学（共同主席）
雷 娜 大连理工大学（共同主席）
“计算几何”专题程序委员会
朱春钢 大连理工大学（专题主席）
伍铁如 吉林大学
徐 岗 杭州电子科技大学
申立勇 中国科学院大学
李 新 中国科学技术大学
贾晓红 中科院数学与系统科学研究院
“密码学”专题程序委员会
林昌露 福建师范大学（专题主席）
孙 兵 国防科技大学
崔 霆 信息工程大学
王保仓 西安电子科技大学
龚 征 华南师范大学
潘彦斌 中科院数学与系统科学研究院
“人工智能”专题程序委员会
刘日升 大连理工大学（专题主席）
李 波 南昌航空大学
蓝如师 桂林电子科技大学
王怡洋 大连海事大学
苏 卓 中山大学
“组合数学”专题程序委员会
林志聪 山东大学（专题主席）
严慧芳 浙江师范大学
陈绍示 中科院数学与系统科学研究院
周 悦 国防科技大学
宁 博 南开大学
杨立波 南开大学
陈 曦 大连理工大学
侯庆虎 天津大学
“符号计算”专题程序委员会
唐晓弦 北京航空航天大学（专题主席）
李 伟 中科院数学与系统科学研究院
张 熠 西交利物浦大学
徐 鸣 华东师范大学
孙 瑶 中科院信息工程研究所
杨 静 广西民族大学
陈长波 中科院重庆绿色智能技术研究院
程进三 中科院数学与系统科学研究院
“符号数值混合计算”专题程序委员会
董 波 大连理工大学（专题主席）
李子佳 中科院数学与系统科学研究院
张雷洪 苏州大学
叶 科 中科院数学与系统科学研究院
吴文渊 中科院重庆绿色智能技术研究院
胡胜龙 杭州电子科技大学
“数学软件”专题程序委员会
杨争峰 华东师范大学（专题主席）
陈长波 中科院重庆绿色智能技术研究院
程进三 中科院数学与系统科学研究院
李 楠 深圳大学
夏壁灿 北京大学
“数学教育”专题程序委员会
申立勇 中国科学院大学（专题主席）
陈玉福 中国科学院大学
赵丽娜 北京化工大学
牟晨琪 北京航空航天大学
张树功 吉林大学
组织委员会
孙怡东 大连海事大学
李 佳 中科院数学与系统科学研究院
张旭平 大连理工大学
周代珍 中科院数学与系统科学研究院
郭 峰 大连理工大学
董 波 大连理工大学 (主席)
杜 磊 大连理工大学
宋晓良 大连理工大学
陈晓彤 大连海事大学
徐丽君 大连海事大学
黄 辉 大连理工大学
冯如勇：ryfeng@amss.ac.cn
雷 娜：nalei@dlut.edu.cn
会议投稿
请在以下会议系统注册并投稿
http://www.smartchair.org/CM2023
投稿方式包括（请在投稿系统中选择是否希望被推荐到期刊）：
1. 仅做会议报告：长摘要或全文。可为未发表的工作，也可为已经被学术期刊接收或发表的重要成果；
2. 做会议报告并希望推荐到期刊：中/英文论文全文。 需为未发表的工作。经大会程序委员会评审并接收后，优秀中文论文可被推荐到核心期刊《系统科学与数学》，进入期刊审稿流程，期刊将根据投稿数量决定是否出专辑；优秀英文论文可被推荐到期刊Journal of Systems Science and Complexity，进入期刊审稿流程。
文件格式为PDF
投稿截止日期：2023年4月30日2023年5月8日
接收/拒稿日期：2023年5月30日
详细日程
大会邀请报告1小时，青年邀请报告30分钟，分组报告15分钟。
|
|
6月15日, 星期四 |
|
|
10:00-18:00 |
注册报到(海创(大连)科技交流中心大堂) |
|
|
17:30-19:30 |
晚餐 |
|
|
|
6月16日, 星期五 |
|
|
8:30-9:00 |
开幕式与合影（中关村厅） |
|
|
9:00-10:00 |
大会邀请报告(1) （中关村厅） |
|
|
10:00-10:10 |
茶歇 |
|
|
10:10-11:10 |
大会邀请报告(2)（中关村厅） |
|
|
11:10-11:25 |
茶歇 |
|
|
|
中关村厅 |
海创厅 |
|
11:25-12:10 |
分组报告(1) |
分组报告(2) |
|
12:10-14:00 |
午餐 |
|
|
中关村厅 |
海创厅 |
|
|
14:00-14:30 |
青年邀请报告(1) |
青年邀请报告(2) |
|
14:35-15:35 |
JSSC计算机数学论坛(1) |
分组报告(3) |
|
15:35-15:50 |
茶歇 |
|
|
中关村厅 |
海创厅 |
|
|
15:50-16:50 |
JSSC计算机数学论坛(2) |
分组报告(4) |
|
16:55-17:35 |
JSSC期刊宣讲（中关村厅） |
|
|
17:40-19:30 |
晚餐 |
|
|
20:00-22:00 |
计算机数学专业委员会会议（海创厅） |
|
|
6月17日, 星期六 |
||
|
9:00-10:00 |
大会邀请报告(3)（中关村厅） |
|
|
10:00-10:10 |
茶歇 |
|
|
中关村厅 |
海创厅 |
|
|
10:10-10:40 |
青年邀请报告(3) |
青年邀请报告(4) |
|
10:40-11:10 |
分组报告(5) |
分组报告(6) |
|
11:10-11:25 |
茶歇 |
|
|
11:25-12:10 |
分组报告(7) |
分组报告(8) |
|
12:10-14:00 |
午餐 |
|
|
|
||
|
中关村厅 |
海创厅 |
|
|
14:00-14:30 |
青年邀请报告(5) |
青年邀请报告(6) |
|
14:35-15:35 |
分组报告(9) |
分组报告(10) |
|
15:35-15:50 |
茶歇 |
|
|
中关村厅 |
海创厅 |
|
|
15:50-17:20 |
分组报告(11) |
分组报告(12) |
|
17:30-20:00 |
晚餐 |
|
|
6月18日, 星期日 |
||
|
9:00-10:00 |
大会邀请报告(4)（中关村厅） |
|
|
10:00-10:10 |
茶歇 |
|
|
中关村厅 |
海创厅 |
|
|
10:10-10:40 |
青年邀请报告(7) |
青年邀请报告(8) |
|
10:40-11:10 |
分组报告(13) |
分组报告(14) |
|
11:10-11:25 |
茶歇 |
|
|
11:25-12:10 |
分组报告(15) |
分组报告(16) |
|
12:10-14:00 |
午餐 |
|
|
|
||
|
中关村厅 |
海创厅 |
|
|
14:00-15:30 |
分组报告(17) |
分组报告(18) |
|
15:35-16:00 |
闭幕式（中关村厅） |
|
|
17:30-19:30 |
晚餐 |
|
|
6月19日, 星期一 |
||
|
离会 |
||
主办方
京公网安备 11011202002866号