2017年全国理论计算机科学学术年会
会议背景介绍：
全国理论计算机科学学术年会（NCTCS，National Conference of Theoretical Computer Science）由中国计算机学会主办、理论计算机科学专业委员会协办，现已成为国内理论计算机科学、人工智能最主要的学术活动。至今，NCTCS 已在全国 20 个地区成功举办，为理论计算机科学及相关领域的研究学者提供一个交流合作平台。
中国计算机学会理论计算机科学专业委员会成立于1983年，旨在促进计算机科学理论的普及和推广，促进全国范围内的学术交流。经过多年的建设与发展，目前理论专委会已成为拥有8个专业学组和3个工作组织的学术性团体。理论专委会将采取更开放的心态来对待理论工作，与时俱进，理论联系实际，进一步拓宽涉及的研究领域，不但坚持算法等传统研究方向，而且积极引导我国的理论工作者紧密围绕软件开发、硬件设计、应用研制、网络建设和信息安全中提出的理论问题开展研究工作，志在取得一些高水平的创造性成果。
2017年全国理论计算机科学学术年会（NCTCS2017）将于2017年10月在湖北省武汉市举行，由华中科技大学计算机科学与技术学院、湖北省计算机学会承办。本次会议将为理论计算机科学及相关领域的研究学者提供一个交流合作平台，以开展广泛的学术活动、展示最新的研究成果，会议将邀请国内外理论计算机科学领域的著名学者做特邀和大会报告。
征文范围及要求：
征文范围
程序理论：程序逻辑、程序正确性验证、形式化开发方法、高可信软件等；
计算理论：算法设计与分析、复杂性理论、可计算性理论、量子计算、社会计算、云计算、生物信息学、计算经济学等；
语言理论：形式语言理论、自动机理论、形式语义学、计算语言学等；
人工智能：知识工程、机器学习、模式识别、数据挖掘、机器人、进化计算、脑机接口等；
逻辑基础：数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等；
数据理论：演绎数据库、关系数据库、面向对象数据库、分布式数据库、空间数据库、大数据理论等；
计算机数学：符号计算、数学定理证明、计算几何、组合数学；
并行算法：分布式并行算法、大规模并行算法、网格算法、多核并行算法、GPU并行算法等。
联系人： 何琨 、李坚 、金燕
联系电话： 13407117711
E-MAIL： nctcs2017@126.com
2、若您发现信息有误或需要信息发布，请联系：
010-50830819；邮箱：meeting@scitoday.cn.
