- 中国石油大学 23376
- 广州市无国界旅行社 17392
- 北京创维未来信息咨询中心 17402
- 世联博研(北京)科技有限公司 7403
- 宁波德泰中研信息科技有限公司 1393
- 希沿医疗投资管理有限公司 17422
- 广西先进文化发展促进会 22404
- 广东省科学技术协会 17402
- 凯乐会展(上海)有限公司 7391
- 翰德林智慧女性修养学堂 20403
- 湖南商康医药电子商务有限公司 20420
- 广东标杆会展有限公司 7379
- 北京交通大学海滨学院 20404
- 厦门大学信息科学技术学院 20428
- SCIENCE AND ENGI 23406
2009年全国理论计算机科学学术年会
2009/06/03
所在城市: 黑龙江省 哈尔滨市
具体地点:
主办单位: 中国计算机学会
协办单位:
承办单位: 哈尔滨师范大学
议题:
[ 组织结构 ]
会议主席:
组织委员会主席:
程序委员会主席:
会议嘉宾:
[ 重要日期 ]
摘要截稿日期:
全文截稿日期: 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)并行算法(分布式并行算法、大规模并行算法、网格算法、量子计算并行算法等)
会议视频:
相关资料下载:
来源本站整理,分享只为学术交流,如涉及侵权问题请联系我们,我们将及时修改或删除。
2024年人工智能与机械自动化技术国际会议( ICAIM 【2024-5-21】 [注册参会]
2024计算机视觉、机械自动化与图像处理国际会议(CVM 【2024-5-21】 [注册参会]
2024年计算机网络与通信技术国际会议(ICCNCT 2 【2024-5-21】 [注册参会]
2024计算机技术、数字经济与电子商务国际会议(ICTD 【2024-5-22】 [注册参会]
2024计算建模、数据分析与信息经济国际会议(MDAIE 【2024-5-22】 [注册参会]
2024云计算、图像处理与人工智能国际会议(IPIA 2 【2024-5-22】 [注册参会]
2024年深度学习,人工智能与信息技术国际会议(DLAI 【2024-5-22】 [注册参会]
2024年计算机仿真,算法与建模国际会议(ICCSAM 【2024-5-22】 [注册参会]
2024年计算机、遥感科学与技术国际学术会议(IACCR 【2024-5-23】 [注册参会]
第九届计算机与信息处理技术国际学术研讨会(ISCIPT 【2024-5-24】 [注册参会]
关于开展人工智能专业人员“计算机视觉处理设计开发工程师”专项培训会议的通知!
2024大数据分析与计算机科学国际学术会议(ICBDACS 2024)
2024年人工智能与信息处理国际会议(ICAIIP 2024)
2024年数据挖掘、电子学习与信息系统国际学术会议(DMEIS 2024)
2024年数理统计与计算机科学国际会议( ICMSCS 2024)
2024 年第二届亚洲人工智能,机器学习与机器人大会(AIMLR 2024)
第三届IEEE通讯技术与信息科技国际学术会议(ICCTIT 2023)