ICMS 2024
英国达勒姆大学,2024年7月22日至25日
信息和通信管理系统是一个两年一度的大会,汇集了对数学软件开发感兴趣的数学家、科学家和程序员。
受邀演讲人
ICMS 2024特邀发言人名单如下:
-
马蒂亚斯·科普(美国加州大学戴维斯分校):圣人的改造 自2005年以来开发的单片开源数学软件系统Sage正在转变为一个可单独构建、开发、使用和测试的pip可安装软件包系统。诸如sagemath-gap和sagemath-singular之类的包不仅本地化了构建时依赖项,还赋予了上游项目更多的属性和可见性,并邀请了新的协作和集成。Python生态系统中Sage库的新可重用性可能最终会使SageMath的实现和表面语言的幸运选择发挥其全部潜力。
-
希瑟·麦克白(美国福特汉姆大学):形式数学中的算法和抽象 我将分析传统散文数学写作和计算机形式化数学写作在风格上的差异,并提出五个案例研究。我的讨论将集中在两个方面,好的风格似乎在这两个方面有所不同:在计算和抽象的结合方面。我认为这反映了形式化数学的不同数学美学。
-
穆罕默德·萨弗里·埃尔丁(法国索邦大学):用msolve库求解多项式系统 求解多元多项式系统出现在信息论(如密码学、纠错码)和工程科学(如机器人、生物学)的广泛领域。msolve库是一个C库,它提供了一些基于Gröbner基计算的算法实现,用于代数分量,以及用于实根隔离的二分法算法。我们将介绍其设计、当前功能并讨论进一步的发展。与J.Berthomieu、C.Eder和V.Neiger的联合工作
ICMS 2024将于2024年7月22日至25日举行。会议将于英国夏令时09:00至17:30(GMT+1)每天举行,计划时间表如下。以下所有信息均根据英国夏令时(GMT+1)时区提供。
所有会谈都在达勒姆大学数学科学系MCS0001前的活动空间将提供咖啡和午餐。晚宴在卡尔曼会议用餐地点为科林伍德.
重要日期
(地球上任何地方的截止日期都是23:59)
|
|
会议提案提交 |
2023年11月17日 |
会议提案决定 |
2023年12月4日 |
注册开始日期 |
2024年3月17日 |
简短摘要提交 |
2024年3月1日 |
扩展摘要提交 |
2024年3月28日 |
海报提交 |
2024年3月29日 |
PC对扩展摘要和海报的决定 |
2024年4月26日 |
相机就绪文件 |
2024年5月3日 |
达勒姆第八届ICMS |
2024年7月22日至25日 |