2009年8月1日2009年全国理论计算机科学学术年会

● 会议名称（中文）： 2009年全国理论计算机科学学术年会

● 所属学科： 计算机科学技术　 
 
● 会议类型： 国内会议 

● 会议论文集是否检索： 不详
 
● 开始日期： 2009-8-1

● 所在国家： 中华人民共和国 

● 所在城市： 黑龙江省   哈尔滨市 
 
● 主办单位： 中国计算机学会

● 承办单位： 哈尔滨师范大学

● 全文截稿日期： 2009-4-1

● 论文录用通知日期 2009-4-30

● 会务组联系方式

联系人： 刘旭繁
联系电话： 0451-88060601
E-mail： lxf1966@126.com
通讯地址： 哈尔滨市利民经济技术开发区师大南路1号
邮政编码： 150025 

● 会议网站： http://tcs2009.hrbnu.edu.cn/

● 会议背景介绍：    

    由中国计算机学会理论计算机科学专业委员会主办、哈尔滨师范大学计算机科学与信息工程学院承办的“2009年全国理论计算机科学学术年会”将于2009年8月上旬在黑龙江省哈尔滨市召开。本次年会录用的论文将推荐在《计算机工程与应用》、《计算机工程与科学》和《计算机与数字工程》等刊物（正刊）上发表。 

● 征文范围及要求：

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

    稿件请参照《计算机工程与科学》的论文格式编排。