由中国计算机学会主办、武汉大学计算机学院与软件工程国家重点实验室承办的“2011年全国理论计算机科学学术年会”将于2011年10月在湖北省武汉市召开。本次年会录用的论文将在《武汉大学学报》（中英文版）、《计算机工程与科学》等刊物的正刊上发表。会议将推荐优秀论文到《计算机学报》的正刊上发表。欢迎大家积极投稿。有关征文要求通知如下：

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

2、稿件的排版说明请参见会议网站：http://cs.whu.edu.cn/NCTCS2011/。《武汉大学学报》（中英文版）、《计算机工程与科学》和《计算机学报》所要求的论文格式将在会议网站上另行通知。

 3、征文范围

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

（2）计算理论（算法设计与分析、复杂性理论、可计算性理论、量子计算、生物计算、社会计算等）

（3）语言理论（形式语言理论、自动机理论、形式语义学、计算语言学等）

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

（5）逻辑基础（数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等）

（6）数据理论（演绎数据库、关系数据库、面向对象数据库、并行分布数据库、空间数据库等）

（7）计算机数学（符号计算、数学定理证明、计算几何、组合数学等）

（8）并行算法（分布式并行算法、大规模并行算法、网格算法、多核并行算法、GPU上并行算法等）

 4、征文投稿截止日期：2011年5月15日；论文录用通知日期：2011年7月1日

5、论文投稿需网上提交，投稿网站为http://www.easychair.org/conferences/?conf=nctcs2011，按照要求提交电子版WORD文件或者PDF文件。大会提供的Email信箱为：nctcs2011@gmail.com。

6、会议动态和重要信息请关注会议网站：http://cs.whu.edu.cn/NCTCS2011。

7、联系人和联系电话及Email信箱：

彭智勇：027-68775319，027-68775673，   Email：zypeng@public.wh.hb.cn

袁梦霆：027-68775592，13607188787，    Email：ymt@whu.edu.cn

洪  亮：027-68775553，15172537719，    Email：hong@whu.edu.cn

联系地址：湖北省武汉市武昌珞珈山武汉大学计算机学院  邮编: 430072

中国计算机学会理论计算机科学专业委员会

武汉大学计算机学院

软件工程国家重点实验室

2010年11月10日