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

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