2023年第十三届中国数学会计算机数学大会

重要提示:会议信息包含但不限于举办时间,场地,出席人员等可能会随着时间发生变化,报名参会或沟通合作请先联系主办方确认。如果您发现会议信息不是最新版,可以通过主办方邮箱将包含最新会议信息的链接或文件通过邮箱发送至support@huiyi-123.com,审核人员将会尽快为您更新到最新版本。
会议时间:2023-06-15 ~ 2023-06-18
举办场地:海创(大连)科技交流中心 导航
主办单位:中国数学会计算机数学专业委员会 更多会议
大会主席:于波
参会嘉宾:
闫振亚 - 中科院数学与系统科学研究院
祁力群 - 香港理工大学
李子明 - 中科院数学与系统科学研究院
高卫国 - 复旦大学
罗自炎 - 北京交通大学
侯臣平 - 国防科技大学
董波 - 大连理工大学
熊欢 - 哈尔滨工业大学
潘茂东 - 南京航空航天大学
会议介绍

中国数学会计算机数学大会是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。会议旨在为全国从事计算机数学的科研人员提供一个总结和交流国内外计算机数学研究最新成果的平台。第十三届会议将由大连理工大学数学科学学院、大连海事大学理学院和中国科学院数学机械化重点实验室联合承办,于2023年6月15日至18日在辽宁大连举行。

会议主题包括(但不限于)以下研究方向:

数学机械化理论、算法与应用;

符号计算,符号与数值混合计算;

自动推理与机器证明;

计算机数学在信息安全、程序验证、机器人和数控系统中的应用;

计算机图形学、模式识别等高科技领域中的数学方法;

计算机数学在物理、化学、生物和工程中的应用;

数学软件;

计算机技术在数学教育中的应用;

人工智能的数学理论

会议资助

国家自然科学基金委员会

大连理工大学数学科学学院

大连海事大学理学院

Maplesoft中国

中国数学会

大会主席

于波 大连理工大学

程序委员会

冯如勇 中科院数学与系统科学研究院(共同主席)
孙怡东 大连海事大学(共同主席)

雷 娜 大连理工大学(共同主席)

“计算几何”专题程序委员会

朱春钢 大连理工大学(专题主席)
伍铁如 吉林大学
徐 岗 杭州电子科技大学

申立勇 中国科学院大学
李 新 中国科学技术大学
贾晓红 中科院数学与系统科学研究院

“密码学”专题程序委员会

林昌露 福建师范大学(专题主席)
孙 兵 国防科技大学
崔 霆 信息工程大学

王保仓 西安电子科技大学
龚 征 华南师范大学
潘彦斌 中科院数学与系统科学研究院

“人工智能”专题程序委员会

刘日升 大连理工大学(专题主席)
李 波 南昌航空大学
蓝如师 桂林电子科技大学

王怡洋 大连海事大学
苏 卓 中山大学

“组合数学”专题程序委员会

林志聪 山东大学(专题主席)
严慧芳 浙江师范大学
陈绍示 中科院数学与系统科学研究院
周 悦 国防科技大学

宁 博 南开大学
杨立波 南开大学
陈 曦 大连理工大学
侯庆虎 天津大学

“符号计算”专题程序委员会

唐晓弦 北京航空航天大学(专题主席)
李 伟 中科院数学与系统科学研究院
张 熠 西交利物浦大学
徐 鸣 华东师范大学

孙 瑶 中科院信息工程研究所
杨 静 广西民族大学
陈长波 中科院重庆绿色智能技术研究院
程进三 中科院数学与系统科学研究院

“符号数值混合计算”专题程序委员会

董 波 大连理工大学(专题主席)
李子佳 中科院数学与系统科学研究院
张雷洪 苏州大学

叶 科 中科院数学与系统科学研究院
吴文渊 中科院重庆绿色智能技术研究院
胡胜龙 杭州电子科技大学

“数学软件”专题程序委员会

杨争峰 华东师范大学(专题主席)
陈长波 中科院重庆绿色智能技术研究院
程进三 中科院数学与系统科学研究院

李 楠 深圳大学
夏壁灿 北京大学

“数学教育”专题程序委员会

申立勇 中国科学院大学(专题主席)
陈玉福 中国科学院大学
赵丽娜 北京化工大学

牟晨琪 北京航空航天大学
张树功 吉林大学

组织委员会

孙怡东 大连海事大学
李 佳 中科院数学与系统科学研究院
张旭平 大连理工大学
周代珍 中科院数学与系统科学研究院
郭 峰 大连理工大学
董 波 大连理工大学 (主席)

杜 磊 大连理工大学
宋晓良 大连理工大学
陈晓彤 大连海事大学
徐丽君 大连海事大学
黄 辉 大连理工大学

会议日程
2023年6月15日 - 报到
2023年6月16-18日 - 会议时间
2023年6月19日 - 离会
联系方式

冯如勇: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日, 星期一

 

离会

下载海报
若未生成海报二维码可点击 生成海报 刷新。
推荐会议
会议小助手
会议通企业微信客服群
办会,宣传,赞助会议请加入客服群以便于获取合作资源