由ACM/SIGSAM和韩国高等研究院(KIAS)联合主办的2009年符号和代数计算国际研讨会(ISSAC 2009)将于2009年7月28日至7月31日在韩国首尔KIAS举行。这是该系列中的第34次会议,最初在北美和欧洲轮流举行,始于1966年在华盛顿特区举行的具有开创性意义的ACM符号和代数操作研讨会。这是ISSAC首次在韩国举行,第三次在亚洲举行。
会议致力于计算机代数和符号计算的研究,包括以下内容:
算法数学。代数、符号和符号-数字算法。简化、函数操作、方程、求和、积分、ODE/PDE、线性代数、数论、群论和几何计算。
计算机科学。符号计算中的理论和实际问题。系统、问题解决环境、用户界面、软件、库、用于符号计算的并行/分布式计算和编程语言、分析、基准测试、计算机代数算法的复杂性、自动微分、代码生成、数学数据结构和交换协议。
应用。以基本或新颖的方式使用代数、符号或符号数字计算进行问题处理。工程、经济和金融、物理和生物科学、计算机科学、逻辑、数学、统计、教育。
ISSAC 2009项目包括受邀演讲、贡献论文、海报、教程和软件演示。这些会议记录包含所有被接受的论文,以及教程和受邀演讲的摘要。海报摘要将出现在未来一期的《计算机代数中的ACM通信》上。今年的会议与SNC 2009(第三届符号数字计算国际研讨会)同时举行,该研讨会将于2009年8月3日至5日在日本京都举行。
项目委员会在仔细评估后选择了出现在这些程序中的47篇论文,包括每次提交的两份或更多裁判报告。我们衷心感谢项目委员会成员和外部评审员所做的深入而重要的工作,他们的名字出现在下面的页面上,并感谢所有作者和讲师的贡献。