议背景介绍：

全国理论计算机科学学术年会（NCTCS，National Conference of Theoretical Computer Science）由中国计算机学会主办、理论计算机科学专业委员会协办，现已成为国内理论计算机科学、人工智能最主要的学术活动。目前，全国理论计算机科学学术年会已在全国20多个地区成功举办，并出版了多本论文集，为学术和工业界的广大研究人员提供一个交流、合作平台，使得研究人员之间分享理论计算机科学和人工智能等领域的创新思想、研究成果及最新进展。

中国计算机学会理论计算机科学专业委员会成立于1983年，旨在促进计算机科学理论的普及和推广，促进全国范围内的学术交流。经过多年的建设与发展，目前理论专委会已成为拥有8个专业学组和3个工作组织的学术性团体。理论专委会将采取更开放的心态来对待理论工作，与时俱进，理论联系实际，进一步拓宽涉及的研究领域，不但坚持算法等传统研究方向，而且积极引导我国的理论工作者紧密围绕软件开发、硬件设计、应用研制、网络建设和信息安全中提出的理论问题开展研究工作，志在取得一些高水平的创造性成果。

2016年全国理论计算机科学学术年会（NCTCS2016）将于2016年08月在贵州省贵阳市举行，由贵州大学计算机科学与技术学院承办。

征文范围及要求：

征文范围

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

● 计算理论：算法设计与分析、复杂性理论、可计算性理论、量子计算、社会计算、云计算、生物信息学、计算经济学等；

● 语言理论： 形式语言理论、自动机理论、形式语义学、计算语言学等；

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

● 逻辑基础：数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等；

● 数据理论：演绎数据库、关系数据库、面向对象数据库、分布式数据库、空间数据库、大数据理论等；

● 计算机数学： 符号计算、数学定理证明、计算几何、组合数学；

● 并行算法：分布式并行算法、大规模并行算法、网格算法、多核并行算法、GPU并行算法等。

联系人： 魏嘉银

联系电话： 15286047735

E-MAIL： nctcs2016@163.com

会议网站： http://nctcs2016.gzu.edu.cn/