全国理论计算机科学学术年会(NCTCS,National Conference of Theoretical Computer Science)由中国计算机学会主办、理论计算机科学专业委员会协办,现已成为国内理论计算机科学、人工智能最主要的学术活动。目前,全国理论计算机科学学术年会已在全国20多个地区成功举办,并出版了多本论文集,为学术和工业界的广大研究人员提供一个交流、合作平台,使得研究人员之间分享理论计算机科学和人工智能等领域的创新思想、研究成果及最新进展。
中国计算机学会理论计算机科学专业委员会成立于1983年,旨在促进计算机科学理论的普及和推广,促进全国范围内的学术交流。经过多年的建设与发展,目前理论专委会已成为拥有8个专业学组和3个工作组织的学术性团体。理论专委会将采取更开放的心态来对待理论工作,与时俱进,理论联系实际,进一步拓宽涉及的研究领域,不但坚持算法等传统研究方向,而且积极引导我国的理论工作者紧密围绕软件开发、硬件设计、应用研制、网络建设和信息安全中提出的理论问题开展研究工作,志在取得一些高水平的创造性成果。
程序理论:程序逻辑、程序正确性验证、形式化开发方法、高可信软件等;
计算理论:算法设计与分析、复杂性理论、可计算性理论、量子计算、社会计算、云计算、生物信息学、计算经济学等;
语言理论: 形式语言理论、自动机理论、形式语义学、计算语言学等;
人工智能:知识工程、机器学习、模式识别、数据挖掘、机器人、进化计算、脑机接口等;
逻辑基础:数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等;
数据理论:演绎数据库、关系数据库、面向对象数据库、分布式数据库、空间数据库、大数据理论等;
计算机数学: 符号计算、数学定理证明、计算几何、组合数学;
并行算法:分布式并行算法、大规模并行算法、网格算法、多核并行算法、GPU并行算法等。
08月22日
2016
08月24日
2016
摘要截稿日期
初稿截稿日期
注册截止日期
2023年07月21日 中国
2023年CCF全国理论计算机科学学术年会(NCTCS2023)2018年10月13日 中国 黄浦区
2018年全国理论计算机科学学术年会2017年10月14日 中国 武汉市
2017年全国理论计算机科学学术年会2017年10月14日 中国 Wuhan
2017 National Conference of Theoretical Computer Science2016年08月22日 中国 Guiyang,China
2016年全国理论计算机科学学术年会2014年10月16日 中国 济南市
2014年全国理论计算机科学学术年会2013年10月11日 中国 天津市
2013年全国理论计算机科学学术年会2009年08月01日 中国 哈尔滨市
2009年全国理论计算机科学学术年会2008年09月19日 中国 西安市
2008全国理论计算机科学学术年会
留言