2014年全国理论计算机科学学术年会征文通知

由中国计算机学会主办、山东大学计算机科学与技术学院承办的“2014年全国理论计算机科学学术年会”将于2014年10月16至17日在山东省济南市召开。有关征文要求通知如下：

为进一步提高学术水平，本次年会将采取以下措施：①除征集尚未在其他刊物或学术会议上正式发表过的论文外，还将征文扩大到2013、2014年中国大陆学者在国际一流学术刊物上已发表的论文(注明出处)，对后者经审稿录用后，邀请作者出席年会并作报告(但论文不再收入论文集)；②除特邀报告外，还将安排专委委员作大会报告，并组织专题讨论会。

征文范围

(1)程序理论(程序逻辑、程序正确性验证、形式化开发方法、高可信软件等)

(2)计算理论(算法设计与分析、复杂性理论、可计算性理论、量子计算、生物信息学、社会网络等)

(3)语言理论(形式语言理论、自动机理论、形式语义学、计算语言学等)

(4)人工智能(知识工程、机器学习、模式识别、机器人、数据挖掘、进化计算、脑机接口等)

(5)逻辑基础(数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等)

(6)数据理论(演绎数据库、关系数据库、面向对象数据库、分布式数据库、空间数据库、大数据理论等)

(7)计算机数学(符号计算、数学定理证明、计算几何、组合数学等)

(8)并行算法(分布式并行算法、大规模并行算法、网格算法、多核并行算法、GPU上并行算法等)

本次会议可接受中文或英文论文。会议录用的英文论文将在《Journal of Computational Information Systems》正刊上发表，录用的中文论文将在《计算机科学》、《计算机工程与科学》和《计算机与数字工程》正刊上发表。会议将推荐优秀论文(第一作者为学生)到《计算机研究与发展》的正刊上发表。

论文稿件的排版说明请参见会议网站：http://nctcs2014.sdu.edu.cn。

论文投稿截止日期：2014年5月20日；论文录用通知日期：2014年7月1日。

论文投稿需网上提交，投稿网站为https://www.easychair.org/conferences/?conf=nctcs2014，请按照要求提交电子版WORD文件或者PDF文件。大会提供的Email信箱为：nctcs2014@126.com。

会议动态和重要信息请关注会议网站：http://nctcs2014.sdu.edu.cn。

联系人和联系电话及Email信箱：

朱大铭：nctcs2014@126.com；

联系电话：0531-88390006；

联系地址：山东省济南市舜华路1500号，山东大学计算机科学与技术学院，邮编：250101。