由中国计算机学会主办、海南大学信息与科学技术学院承办的“2012年全国理论计算机科学学术年会”将于2012年8月17日至19日在海南省海口市召开。有关征文要求通知如下：

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

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

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