2007全国理论计算机科学学术年会

征文通知

由中国计算机学会理论计算机科学专业委员会主办、广西大学计算机与电子信息学院承办的“2007全国理论计算机科学学术年会”将于2007年11月在广西南宁市召开。本次年会录用的论文将由《计算机研究与发展》（增刊）和《计算机工程与科学》（正刊）发表，欢迎大家积极投稿。有关征文要求通知如下：

1、为进一步提高学术水平，本次年会将采取以下措施：①评选优秀论文并将其推荐给一级学报；②除征集尚未在其他刊物或学术会议上正式发表过的论文外，还将征文扩大到2006、2007年中国大陆学者在国际一流学术刊物上已发表的论文（注明出处），对后者经审稿录用后，邀请作者出席年会并作报告（但论文不再收入论文集），根据报告情况择优评选最佳论文并进行奖励；③将从与会代表所作的报告中评选出年会的最佳报告并进行奖励；④鼓励在年会召开期间组织讲座（Tutorial），有意者请与广西大学钟诚教授联系。

2、稿件请按《计算机研究与发展》、《计算机工程与科学》的论文格式编排，要求用计算机打印，正文采用五号宋体。稿件中的图形、图象要求工整、清晰、紧凑，尺寸要尽量小，图表中文字采用六号宋体。稿件全文不超过六千字。标题、作者姓名、作者单位、摘要、关键词五部分要求中、英文齐全。稿件正文部分依次为：1引言；2...；最后是结语。附录放在参考文献之后；参考文献限列已公开发表的，参考文献格式为：

序号 作者．书名．出版地：出版社名称，出版年份

序号 作者．论文题名．期刊名称，年份，卷号（期号）：起止页码

序号 作者．论文题名．会议论文集名称，出版地：出版社名称，出版年份，起止页码

务必附上第一作者简历（姓名、性别、出生年月、出生地、职称、学位、研究方向等）、通信地址、邮政编码、联系电话和电子信箱。并注明论文所属领域。来稿一律不退，请自留底稿。

3、征文范围

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

（2）计算理论（算法设计与分析、复杂性理论、可计算性理论等）

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

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

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

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

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

（8）并行算法（分布式并行算法、大规模并行算法、网格算法、量子计算并行算法等）

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

5、论文投稿需提交激光打印稿一式2份和电子版WORD文件，论文投寄地址和电子信箱如下：

（530004）广西南宁市大学东路100号 广西大学计算机与电子信息学院 钟诚、李陶深教授收

Email：tcs2007@sina.com

6、会议将建立网站：www.tcs2007.com；会议承办单位联系人和联系电话及Email信箱：

钟诚：0771-3236396，13607819333，chzhong@gxu.edu.cn

李陶深：0771-3236627，13768301390，tshli@gxu.edu.cn

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

广西大学计算机与电子信息学院

2006年10月28日

附件：