2009年全国理论计算机科学学术年会征文通知由中国计算机学会理论计算机科学专业委员会主办、哈尔滨师范大学计算机科学与信息工程学院承办的“2009年全国理论计算机科学学术年会”将于2009年8月上旬在黑龙江省哈尔滨市召开。本次年会录用的论文将在《计算机工程与应用》、《计算机工程与科学》和《计算机与数字工程》等刊物的(正刊)上发表。会议将评选出优秀论文进行奖励，并推荐到国内一级学术刊物的正刊发表。欢迎大家积极投稿。有关征文要求通知如下：1．为进一步提高学术水平，本次年会将采取以下措施：①除征集尚未在其他刊物或学术会议上正式发表过的论文外，还将征文扩大到2008、2009年中国大陆学者在国际一流学术刊物上已发表的论文(注明出处)，对后者经审稿录用后，邀请作者出席年会并作报告(但论文不再收人论文集)；②鼓励在年会召开期间组织讲座(Tutorial)，有意者请与哈尔滨师范大学计算机科学与信息工程学院王建华教授联系。2．稿件请参照《计算机工程与科学》的论文格式编排。正文采用五号宋体。稿件中的图形、图象要求工整、清晰、紧凑，尺寸要尽量小，图表中文字采用六号宋体。稿件全文不超过六千字。标题、作者姓名、作者单位、摘要、关键词五部分要求中、英文齐全。稿件正文部分依次为：1引言；2…；最后是结语。附录放在参考文献之后；参考文献限列已公开发表的，参考文献格式为：序号作者．书名．出版地：出版社名称，出版年份序号作者．论文题名．期刊名称，年份，卷号(期号)：起止页码序号作者．论文题名．会议论文集名称，出版地：出版社名称，出版年份，起止页码务必附上第一作者简历(姓名、性别、出生年月、出生地、是否是学生，职称、学位、研究方向等)、通信地址、邮政编码、联系电话和电子信箱。并注明论文所属领域。来稿一律不退，请自留底稿。3．征文范围(1)程序理论(程序逻辑、程序正确性验证、形式化开发方法等)(2)计算理论(算法设计与分析、复杂性理论、可计算性理论等)(3)语言理论(形式语言理论、自动机理论、形式语义学、计算语言学等)(4)人工智能(知识工程、机器学习、模式识别、机器人、数据挖掘、进化计算等)(5)逻辑基础(数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等)(6)数据理论(演绎数据库、关系数据库、面向对象数据库、并行分布数据库、空间数据库等)(7)计算机数学(符号计算、数学定理证明、计算几何、组合数学等)(8)并行算法(分布式并行算法、大规模并行算法、网格算法、量子计算并行算法等)4．征文投稿截止日期：2009年4月1日；论文录用通知日期：2009年4月30日5．论文投稿需网上提交，投稿网站为http：／／tcs2009．hrbnu．edu．CFI，按照要求提交电子版WORD文件或者PDF文件。大会提供的Email信箱为：hnucsie@gmail．corn6．会议动态和重要信息请关注会议网站：http：／／tcs2009．hrbnu．edu．cn7．联系人和联系电话及Email信箱：付伟：手机：8，Email：hnucsie@gmai[．COrn刘旭繁：办公电话：0451—，手机：8，Email：lxfl966@126．C01TI王建华：办公电话：0451—，手机：6，Email：wjh@vip．163．corn联系地址：哈尔滨市利民经济技术开发区师大南路1号邮编：中国计算机学会理论计算机科学专业委员会哈尔滨师范大学计算机科学与信息工程学院2008年12月25日