- 上海同城优代文化营销有限公司 7373
- 未来之星 20412
- 第四军医大学西京医院放疗科 17400
- 中国微米纳米技术学会 20412
- 长沙富通科技公司 17390
- 中国工业经济联合会 20429
- 广州奥格尔展览有限公司 7369
- 景德镇市瓷都旅行社 17388
- zkppp 7389
- 中国互联网服务商联盟 17393
- 上海品珅商务咨询有限公司 1353
- 天津大学 7396
- 中国能源环境科技协会 22381
- 武汉红矮星传媒有限公司 1409
- 中国膜工业协会 20392
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】 [注册参会]
2023年机器人、人工智能与控制科学工程国际会议(ICRAICSE 2023)
【IEEE】第五届计算机视觉、图像与深度学习国际学术会议(CVIDL 2024)
2024年传感技术与图像处理国际会议(ICSTIP 2024)
2024信息系统与图像处理国际会议(ICISIP 2024)
2024建筑信息、计算机视觉与网络通讯国际学术会议(ICBICVNC 2024)
2024计算机语言、文化交流与创新教育国际会议(CLCEIE 2024)