International Congress on Mathematical Software (ICMS 2018)

国际数学软件大会（ICMS）由广泛定义的计算科学领域的不同社区组成，包括计算数学、算法和复杂性以及软件工程方面的研究人员和实践者。该国家科学基金会奖为将于2018年7月24日至27日在印第安纳州圣母大学举行的2018年国际数学软件大会（ICMS 2018）提供支持。ICMS 2018是ICMS第6次会议，也是第一次在美国举办。与ICMS之前的5次会议一样，本次会议将汇集广泛的计算科学家和实践者，讨论计算数学和计算科学在软件、算法、复杂性和应用方面的最新进展和当前挑战。这次会议通过软件开发和利用为数学科学和其他科学和工程领域之间的交叉施肥提供了机会。本次会议的全体发言人是Folkmar Bornemann（慕尼黑工业大学），Thomas Hales（匹兹堡大学）和William Stein （SageMath, Inc.）。该奖项将为研究生、博士后研究人员、年轻教师、代表性不足的群体成员和没有联邦政府支持的研究人员提供旅行资助，以参加ICMS 2018，与数学、科学和工程应用软件开发领域的领导者会面，并相互交流，他们将成为该领域的下一代领导者。ICMS 2018是计算数学家、科学家、工程师和软件开发人员之间互动的国际会议。这为分享想法和讨论计算数学和软件开发的新趋势和挑战创造了独特的氛围。例如，全体会议发言人William Stein将向ICMS 2018的与会者介绍开源数学软件开发的成功和挑战。除了全体发言人外，ICMS 2018的所有演讲和海报都是从公开征集中选出的，这些征集将分为几个环节。ICMS 2018将举办18场会议，包括数学软件的机器学习、数学推理软件、计算代数几何、后量子群密码学、数学软件管理、数学知识和研究数据。ICMS 2018还包括在会议第一天安排的海报环节。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，认为值得支持。

The International Congress on Mathematical Software (ICMS) consists of a diverse community in the broadly defined area of computational sciences including researchers and practitioners in computational mathematics, algorithms and complexity, and software engineering. This National Science Foundation award provides support for the 2018 meeting of the International Congress on Mathematical Software (ICMS 2018) to be held July 24-27, 2018 at the University of Notre Dame in Indiana. ICMS 2018 is the 6th meeting of ICMS and the first to be hosted in the United States. This conference, as with the 5 previous meetings of ICMS, will bring together a wide range of computational scientists along with practitioners to discuss recent progress and current challenges in software, algorithms, complexity, and applications in computational mathematics and computational science. This conference provides an opportunity for cross-fertilization between the mathematical sciences and other areas of science and engineering through software development and utilization. The plenary speakers for this conference are Folkmar Bornemann (TU Munich), Thomas Hales (University of Pittsburgh), and William Stein (SageMath, Inc.). This award will support travel grants for graduate students, post-doctoral researchers, young faculty members, members of under-represented groups, and researchers without federal support to attend ICMS 2018 to meet with leaders in software development for mathematics, science, and engineering applications, and interact with each other who will be the next generation of leaders in this area.ICMS 2018 is an international meeting for interaction between computational mathematicians, scientists, engineers, and software developers. This creates a unique atmosphere for sharing ideas and discussing new trends and challenges in computational mathematics and software development. For example, plenary speaker William Stein will provide attendees of ICMS 2018 insights into successes and challenges of open-source mathematical software development. Apart from the plenary speakers, all talks and posters at ICMS 2018 are selected from responses to an open call for submissions which are organized into sessions. ICMS 2018 features 18 sessions such as machine learning for mathematical software, software for mathematical reasoning, computational algebraic geometry, post-quantum group-based cryptography, and management of mathematical software, mathematical knowledge, and research data. ICMS 2018 also includes a poster session which is scheduled for the first day of the conference. The conference website is http://icms-conference.org/2018/.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.