2008全国理论计算机科学学术年会
征稿启事
由中国计算机学会理论计算机科学专业委员会主办、陕西师范大学计算机科学学院承办的“2008全国理论计算机科学学术年会”将于2008年9月19日至21日在陕西省西安市召开。本次年会录用的论文将由《计算机工程与科学》（正刊）发表，并评选出优秀论文推荐到《计算机研究与发展》正刊发表，欢迎大家积极投稿。有关征文要求通知如下：
1、为进一步提高学术水平，本次年会将采取以下措施：①除征集尚未在其他刊物或学术会议上正式发表过的论文外，还将征文扩大到2007、2008年中国大陆学者在国际一流学术刊物上已发表的论文（注明出处），对后者经审稿录用后，邀请作者出席年会并作报告（但论文不再收入论文集）；②鼓励在年会召开期间组织讲座（Tutorial），有意者请与陕西师范大学计算机科学学院李永明教授联系。
2、稿件请参照《计算机工程与科学》的论文格式编排。正文采用五号宋体。稿件中的图形、图象要求工整、清晰、紧凑，尺寸要尽量小，图表中文字采用六号宋体。稿件全文不超过六千字。标题、作者姓名、作者单位、摘要、关键词五部分要求中、英文齐全。稿件正文部分依次为：1引言；2...；最后是结语。附录放在参考文献之后；参考文献限列已公开发表的，参考文献格式为：
序号 作者．书名．出版地：出版社名称，出版年份
序号 作者．论文题名．期刊名称，年份，卷号（期号）：起止页码
序号 作者．论文题名．会议论文集名称，出版地：出版社名称，出版年份，起止页码
务必附上第一作者简历（姓名、性别、出生年月、出生地、是否是学生，职称、学位、研究方向等）、通信地址、邮政编码、联系电话和电子信箱。并注明论文所属领域。来稿一律不退，请自留底稿。
3、征文范围
（1）程序理论（程序逻辑、程序正确性验证、形式化开发方法等）
（2）计算理论（算法设计与分析、复杂性理论、可计算性理论等）
（3）语言理论（形式语言理论、自动机理论、形式语义学、计算语言学等）
（4）人工智能（知识工程、机器学习、模式识别、机器人、数据挖掘、进化计算等）
（5）逻辑基础（数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等）
（6）数据理论（演绎数据库、关系数据库、面向对象数据库、并行分布数据库、空间数据库等）
（7）计算机数学（符号计算、数学定理证明、计算几何、组合数学等）
（8）并行算法（分布式并行算法、大规模并行算法、网格算法、量子计算并行算法等）
4、征文投稿截止日期：2008年5月5日；论文录用通知日期：2008年6月1日
6、会议动态和重要信息请关注会议网站：http://tcs2008.snnu.edu.cn
7、联系人和联系电话及Email信箱：
何雪莉：029-85310161，15934839664，tcssn2008@yahoo.cn
韩召伟：029-85310161，13991205117，tcssn2008@yahoo.cn
联系地址：西安陕西师范大学计算机科学学院，邮政编码：710062。
中国计算机学会理论计算机科学专业委员会
陕西师范大学计算机科学学院
2008年1月18日
|
