- 长江大学 17400
- 福建师范大学 20365
- GRSGRE 7396
- 北京京西酒店 1368
- 青岛大学 老师 17400
- 云南博海会展有限公司 23380
- 安徽中设明德会展有限公司 7377
- 中国环境科学学会 23359
- 上海冠通展览策划有限公司 17371
- RH 7340
- 武汉博胜学术交流有限公司 7372
- 北京齐鸣经纪文化发展公司 17405
- 2015 Internation 1362
- 广州一流展览服务有限公司 7355
- 国信世纪人才服务(北京)有限公司 22404
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年计算机科学与人机交互国际会议 (ICCSHCI 【2024-4-30】 [注册参会]
2024年大数据与人工智能国际研讨会 (ISBDAI 2 【2024-4-30】 [注册参会]
2024互联网、人工智能与计算机应用国际会议(IAICA 【2024-4-30】 [注册参会]
2024年金融创新与人工智能发展国际研讨会(ISFAID 【2024-4-30】 [注册参会]
2024年图像处理与软件工程国际会议 (ICIPSE 2 【2024-4-30】 [注册参会]
2024物联网、区块链与新材料国际会议(ICITBNM 【2024-4-30】 [注册参会]
2024年大数据,区块链与计算机科学国际会议(BDBCS 【2024-4-30】 [注册参会]
2024年人工智能与通信管理国际会议 (ICAICM 2 【2024-4-30】 [注册参会]
2024年计算机、科技创新与先进材料国际学术会议(ICC 【2024-5-29】 [注册参会]
2024年第六届软件工程与开发国际会议(ICSED 20 【2024-5-29】 [注册参会]
2024 年第二届机器人,机器学习与信号处理国际会议(RMLSP 2024)
2023年人工智能与工业技术应用国际学术会议(ICAIITA 2023)
2024年人工智能与机器人发展国际会议(ISAIRD 2024)
2024年第五届计算机视觉,通信与多媒体国际会议(CVCM 2024)
2024年图像处理与大数据信息应用国际会议(ICIPCDIA 2024)
2024数字媒体、通信技术与图像处理国际会议(ICDMCTIP 2024)
2024计算机视觉、图像处理与人工智能国际学术会议(CVIPAI 2024)
2024年计算机应用系统与微芯片技术国际会议(ICCASMT 2024)