由中国计算机学会理论计算机科学专业委员会主办的全国理论计算机科学学术年会（National Conference on Theoretical Computer Science，NCTCS）已成为国内理论计算机科学界重要的学术活动。至今，NCTCS已在长沙、贵阳、重庆、广州、青岛、厦门、苏州、兰州、南宁、舟山、郑州、昆明、上海、西安、南昌、福州、武汉、秦皇岛、长春、哈尔滨、呼和浩特、海口、天津、济南、金华等地成功举办。

        2016 年全国理论计算机科学学术年会（NCTCS2016）拟于2016年8月20日至8月22日在贵州省贵阳市举行，由贵州大学计算机科学与技术学院、贵州省计算机学会联合承办。本次会议将为理论计算机科学及相关领域的研究学者提供一个交流合作平台，以开展广泛的学术活动、展示最新的研究成果，会议将邀请国内外理论计算机科学领域的著名学者做特邀和大会报告。 

       NCTCS2016征文要求如下：

        1.为进一步提高学术水平，本次年会将延续以往会议精神，除征集尚未在其他刊物或学术会议上正式发表过的论文外，继续征集已在国际一流学术刊物上发表过的论文（投稿时请注明出处，录用后邀请作者出席年会并作报告，但论文不收入论文集）。 

       2.征文范围

       ●   程序理论：程序逻辑、程序正确性验证、形式化开发方法、高可信软件等；
       ●   计算理论：算法设计与分析、复杂性理论、可计算性理论、量子计算、社会计算、云计算、生物信息学、计算经济学等；
       ●   语言理论：                形式语言理论、自动机理论、形式语义学、计算语言学等；
       ●   人工智能：知识工程、机器学习、模式识别、数据挖掘、机器人、进化计算、脑机接口等；
       ●   逻辑基础：数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等；
       ●   数据理论：演绎数据库、关系数据库、面向对象数据库、分布式数据库、空间数据库、大数据理论等；
       ●   计算机数学：                符号计算、数学定理证明、计算几何、组合数学；
       ●   并行算法：分布式并行算法、大规模并行算法、网格算法、多核并行算法、GPU并行算法等。

       3.论文出版

       本次会议接受中文和英文文章，会议录用的中文文章将分别推荐至《计算机                    研究与发展》、《计算机科学与探索》、《计算机工程与科学》、《计算机科学》和《计                    算机与数字工程》正刊上发表；会议录用的英文文章将分别推荐至International                    Journal of High Performance Computing and Networking (IJHPCN)、International                    Journal of Embedded Systems (IJES)、International Journal of Computational Science                    and Engineering (IJCSE)正刊或特刊上发表。

       4.论文稿件的排版说明请参考会议网站：http://nctcs2016.gzu.edu.cn/finalversion.html。

       5.论文投稿开始日期：2015年12月01日；

          论文投稿截止日期：2016年04月21日；

          论文录用通知日期：2016年07月01日。

       6.论文投稿采用网上在线提交方式，具体投稿网站为：

          https://easychair.org/conferences/?conf=nctcs2016

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

       8.会务组联系方式：

          联系人：魏嘉银

          联系邮箱：nctcs2016@163.com

          联系电话：15286047735

          联系地址：贵州省贵阳市花溪区贵州大学北校区计算机科学与技术学院

          邮编：550025