第四期符号计算暑期讲习班

2015年8月3-9日,中国北京


青年学者符号计算研讨班
2015年8月4-5日,北京


        组织者:孙瑶,中国科学院信息工程研究所


       第四期符号计算暑期讲学班(http://sssc2015.cc4cm.org)将于2015年8月3−9日在北京航空航天大学举行。本期暑期班特设“青年学者符号计算研讨班”,旨在汇聚符号计算及相关领域的广大青年学者,以本研讨班为平台展示课题成果,报告符号计算领域前沿进展动态,从而促进青年学者的学术交流与发展。
       青年学者符号计算研讨班向全国符号计算及相关领域的青年学者征集论文摘要与全文。研讨班接收的摘要作者可在研讨班上报告研究成果,而全文接收的论文将以会议论文集的形式由出版社正式出版。


征稿范围

       所有涉及符号计算、计算机代数与分析、几何计算、自动推理与编程等符号计算及相关领域的研究论文,包括但并不限于下列主题:
       算法
       + 线性代数、多项式代数、微分代数、差分代数
       + 符号-数值方法、同伦方法、序列扰动方法
       + 计算代数几何、计算群论、计算数论
       + 计算机算术、计算机分析、几何计算与推理
       + 其他领域中的符号方法
       软件
       + 符号计算软件的设计与实施
       + 符号计算语言及输入体系设计
       + 数据结构与表示
       + 算法实现及性能优化
       + 数学用户接口
       + 系统使用(如数字图书馆、课件系统、模拟优化、自动推理与证明、CAD等)
       应用
       + 符号计算在科学、技术、工程等领域中的应用

论文出版

       接收的摘要将印刷成册在研讨班上发放,接收的全文将以会议论文集的形式由出版社正式出版发行。


征稿要求

       摘要投稿:提交一份不超过500字的中文摘要,pdf格式。
       全文投稿:全文页数不超过15页,请用Latex排版(论文模板下载)。
       摘要或全文均应包括题目、作者全名、地址、联系方式等信息,并以附件方式发送至liting@iie.ac.cn
       注意:摘要或全文的作者中至少应有一位参加第四期符号计算暑期讲学班。


截止日期

       摘要投稿截止日期:2015年6月10日 2015年6月20日
       摘要接收通知:2015年6月20日 2015年6月30日
       全文投稿截止日期:2015年7月10日 2015年7月25日
       全文接收通知:2015年7月20日 2015年8月5日
       全文印刷版提交日期:2015年8月5日 2015年8月20日

已接收摘要

1. Decidability of the Reachability for a Family of Linear Vector Fields. Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, and Naijun Zhan. LMAM & School of Mathematical Sciences,Peking University; State Key Lab.of Computer Science,Institute of Software, CAS
2. 多项式系统的正定性判定与离散扩散系统的全局稳定性. 杨鸣, 陆征一. 中科院成都计算机应用研究所, 四川师范大学数学与软件科学学院
3. 几何学图片的特征信息提取与定理搜索摘要. 安文雅, 陈肖宇, 宋丹. 北京航空航天大学数学与系统科学研究院
4. Lotka-Volterra系统与Kolmogorov系统极限环的存在性与中心焦点的算法化判定. 杨静, 陆征一. 四川师范大学数学与软件科学学院
5. 基于距离不变量方法的微分指标多项式化简和标准型. 刘姜. 上海理工大学管理学院系统科学系
6. F5类算法的一个新型通用框架. 潘森杉, 胡予濮, 王保仓. 西安电子科技大学综合业务网国家重点实验室
7. 语音计算器的研究与开发. 张志强, 苏伟, 蔡川, 林和, 白华. 兰州大学信息科学与工程学院
8. Laurent多项式相乘下联合谱半径变化规律研究. 亓万锋, 郑悦. 辽宁师范大学数学学院
9. 微分多项式的分解. 张明波. 中国科学技术大学计算与应用数学系
10. 多元多项式矩阵分解. 李冬梅. 湖南科技大学数学与计算机科学学院
11. Completion——一种Comprehensive Gröbner基验证与生成算法. 杨逸明. 新墨西哥大学
12. 多项式方程组求解的先行单变元表达. 程进三. 中国科学院数学与系统科学研究院