人民共和国 
所在城市： 黑龙江省   哈尔滨市 
具体地点： 
主办单位： 中国计算机学会
协办单位： 
承办单位： 哈尔滨师范大学
议题： 
[ 组织结构 ]
会议主席： 
组织委员会主席： 
程序委员会主席： 
会议嘉宾：
 
[ 重要日期 ]
摘要截稿日期： 
全文截稿日期： 2009-4-1
论文录用通知日期
 2009-4-30
交修订版截止日期： 
[ 会务组联系方式 ]
联系人： 刘旭繁
联系电话： 0451-88060601
传真： 
E-mail： lxf1966@126.com
通讯地址： 哈尔滨市利民经济技术开发区师大南路1号
邮政编码： 150025 
会议新闻(共0条新闻）： 
 
会议注册费： 
会议网站： http://tcs2009.hrbnu.edu.cn/
会议背景介绍：     由中国计算机学会理论计算机科学专业委员会主办、哈尔滨师范大学计算机科学与信息工程学院承办的“2009年全国理论计算机科学学术年会”将于2009年8月上旬在黑龙江省哈尔滨市召开。本次年会录用的论文将推荐在《计算机工程与应用》、《计算机工程与科学》和《计算机与数字工程》等刊物（正刊）上发表。 
征文范围及要求： 征文范围
（1）程序理论（程序逻辑、程序正确性验证、形式化开发方法等）
（2）计算理论（算法设计与分析、复杂性理论、可计算性理论等）
（3）语言理论（形式语言理论、自动机理论、形式语义学、计算语言学等）
（4）人工智能（知识工程、机器学习、模式识别、机器人、数据挖掘、进化计算等）
（5）逻辑基础（数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等）
（6）数据理论（演绎数据库、关系数据库、面向对象数据库、并行分布数据库、空间数据库等）
（7）计算机数学（符号计算、数学定理证明、计算几何、组合数学等）
（8）并行算法（分布式并行算法、大规模并行算法、网格算法、量子计算并行算法等）

    稿件请参照《计算机工程与科学》的论文格式编排。 
会议视频： 
 
相关资料下载：