------------------------------------------------------------------------------------ISSAC 2014年符号和代数计算国际研讨会2014年7月23日至25日,日本神户大学。最后一次文件征集http://www.issac-conference.org/2014摘要提交截止日期:2014年1月12日星期日23:59 EST全文提交截止日期:2014年1月19日星期日23:59 EST(无延期)摘要和全文提交的截止日期没有延长!!-----------------------------------------------------------------符号和代数计算国际研讨会是首届符号计算和计算机代数研究会议。ISSAC 2014是该系列的第39次会议。传统的会议提供一系列受邀演讲人、教程、海报会议和软件展示了一篇贡献的研究论文。2014年7月23日至25日在日本神户大学举行了国际科学院院际研讨会。研讨会和指导课程将在会议之前于2014年7月21日至22日举行。ISSAC 2014隶属于“2014神户计算机周”,这是一项学术活动神户大学人类发展与环境研究生院交流周,与ACM/SIGSAM合作,由Cybernet Systems、Maplesoft、Wolfram Research赞助,泰西科学技术基金会和卡亚莫里信息科学基金会由日本符号和代数计算学会支持,以及国家信息学研究所。相关会议:--------------------ISSAC 2014是韩国ICM 2014(国际数学家大会)的卫星会议。此外,在中国上海举行的2014年符号数值计算大会是ISSAC 2014的卫星会议。重要日期:----------------论文摘要提交时间:2014年1月12日星期日23:59 EST全文提交截止日期:2014年1月19日星期日23:59 EST(无延期)接受/拒绝通知:2014年3月30日星期日摄像头现成副本截止日期:2014年4月30日,星期三受邀演讲人:-----------------Noriko Arai(日本国家信息学研究所)David Stoutemyer(美国夏威夷大学)Bernd Sturmfels(美国加州大学伯克利分校)提交说明:------------------------ISSAC 2014邀请提交原创研究成果,以便在会议上发表和演示。论文不应重复发表或提交其他地方审议的作品(以摘要形式或作为已发表讲座或学术论文的一部分或作为电子预印本的除外)。提交分为两个阶段:首先,在摘要截止日期前提交摘要,然后相关论文可以在完整论文截止日期之前提交。论文必须是英文,并且ACM sig-alternate.cls风格的论文不得超过8页,在找到http://www.acm.org/sigs/publications/proceedings-templates。其他文章风格的提交也可以接受,但最终版本不得超过8个以sig-alternate.cls样式编译时的页面(相当于大约17页信纸大小的纸张,12磅排版,正常间距以及相当大的利润)。不允许使用扩展摘要。论文可能有一个附录,供审稿人和PC阅读成员自行决定,但不会被纳入论文的出版版本。每一篇论文必须至少有一位作者注册会议并提交论文。通过网站上的EasyChair提交https://www.easychair.org/conferences/?conf=issac2014另请参阅ISSAC 2014论文评审过程中的详细信息http://www.issac-symposium.org/2014/review.html会议记录:------------会议记录将通过ACM数字图书馆提供。(会议记录的ISBN是978-1-4503-2501-1。)另请参阅ISSAC 2013年会议记录,网址如下http://dl.acm.org/citation.cfm?id=2465506杰出论文奖:--------------------------该奖项将颁发给2014年ISSAC上发表的最杰出论文。杰出论文将由项目委员会决定。杰出学生作家奖:-----------------------------------该奖项将授予杰出学生作者。提交时为全日制学生的作者有资格获得该奖项。提交论文时应注明此状态。话题:-------计算机代数和符号数学的所有领域计算很有趣。这些包括但不限于:算法方面:*精确和符号线性代数、多项式代数和微分代数*符号数字、同伦、摄动和级数方法*计算代数几何、群论和数论*计算机算术*求和、递推方程、积分、ODE和PDE的解*纯数学和应用数学其他领域的符号方法*代数算法的复杂性和代数复杂性软件方面:*符号计算包和系统的设计*符号计算的语言设计和类型系统*数据表示*现代硬件注意事项*算法实现和性能调整*数学用户界面应用方面:*扩展计算机代数当前极限的应用程序算法或系统,在新领域或新领域使用计算机代数方法,或将其应用于具有广泛影响的情况。会议组织:------------------------总联合主席:长坂浩作(日本神户大学)Franz Winkler(奥地利林茨RISC)项目委员会主席:Agnes Szanto(美国北卡罗来纳州立大学)论文集编辑:Katsusuke Nabeshima(日本德岛大学)地方安排主席:长崎小坂(日本神户大学)宣传主席:叶卡捷琳娜·谢米亚科娃(纽约州立大学美国纽帕尔茨)财务主管:Akira Terui(日本筑波大学)海报主席:Wen-shin Lee(比利时安特卫普大学)软件展览主席:Daniel Lichtblau(Wolfram Research,Inc.,美国)辅导主席山口泰雄(加拿大Maplesoft)研讨会主席:北本拓哉(日本山口大学)网站管理员:Masaru Sanuki(日本筑波大学)项目委员会:陈绍世(中国科学院)Carlos D'Andrea(西班牙巴塞罗那大学)Ioannis Emiris(希腊雅典大学)Jean-Charles Faugere(印度,法国)Mark Giesbrecht(加拿大滑铁卢大学)乔纳森·豪恩斯坦(美国北卡罗来纳州立大学)Evelyne Hubert(法国INRIA)Alexander Hulpke(美国科罗拉多州立大学)加博尔·伊万尼奥斯(MTA SZTAKI,匈牙利)乔治·拉巴恩(加拿大滑铁卢大学)约瑟夫·莫里斯·罗哈斯(美国德克萨斯农工大学)胡里奥·鲁比奥(西班牙拉里奥哈大学)Mohab Safey el-Din(法国皮埃尔和玛丽·居里大学)Tateaki Sasaki(日本筑波大学)佐藤洋介(日本东京理工大学)Josef Schicho(奥地利RISC)迈克尔·辛格(美国北卡罗来纳州立大学)Elena Smirnova(美国德克萨斯仪器公司)Agnes Szanto(美国北卡罗来纳州立大学)-主席芝麻(美国纽约大学)