@Article{CAM-18-9,
author = {},
title = {【会议信息】第十二届中国数学会计算机数学大会，中国桂林，2021年6月4-7日},
journal = {CAM-Net Digest},
year = {2021},
volume = {18},
number = {9},
pages = {2--2},
abstract = {<p style="text-align: justify; margin-bottom: 10px;">中国数学会计算机数学大会是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。会议旨在为全国从事计算机数学的科研人员提供一个总结和交流国内外计算机数学研究最新成果的平台。第十二届会议将由桂林电子科技大学和中国科学院数学机械化重点实验室联合承办，于2021年6月4日至7日在广西桂林举行。<br/>&nbsp;<br/>会议主题包括（但不限于）以下研究方向：<br/>&nbsp;<br/>数学机械化理论、算法和软件实现；<br/>符号计算，符号与数值混合计算；<br/>自动推理与机器证明；<br/>计算机数学在信息安全、程序验证、机器人和数控系统中的应用；<br/>计算机图形学、模式识别等高科技领域中的数学方法；<br/>计算机数学在物理、化学、生物和工程中的应用；<br/>计算机技术在数学教育中的应用。<br/>&nbsp;<br/>大会邀请报告人：<br/>&nbsp;<br/>江&nbsp; &nbsp; 松&nbsp; &nbsp; 北京应用物理与计算数学研究所<br/>陈松灿&nbsp;&nbsp;&nbsp; &nbsp;南京航空航天大学<br/>林东岱&nbsp;&nbsp;&nbsp; &nbsp;中科院信息工程研究所<br/>侯庆虎&nbsp;&nbsp;&nbsp; &nbsp;天津大学<br/>&nbsp;<br/>青年邀请报告人：<br/>&nbsp;<br/>刘日升&nbsp;&nbsp;&nbsp; &nbsp;大连理工大学<br/>张&nbsp; &nbsp;江&nbsp; &nbsp; &nbsp; 密码科学技术国家重点实验室<br/>郑大彬&nbsp;&nbsp;&nbsp; &nbsp;湖北大学<br/>林志聪&nbsp; &nbsp; &nbsp;山东大学<br/>秦小林&nbsp; &nbsp; &nbsp;中科院成都计算机应用研究所<br/>唐晓弦&nbsp; &nbsp; &nbsp;北京航空航天大学<br/>黄&nbsp; &nbsp;劲&nbsp; &nbsp; &nbsp; 浙江大学<br/>蓝如师&nbsp; &nbsp; &nbsp;桂林电子科技大学<br/></p>},
issn = {},
doi = {https://doi.org/2021-CAM-19744},
url = {https://global-sci.com/article/75140/202164-7}
}