2012年全国理论计算机科学学术年会征文通知
由中国计算机学会主办、海南大学信息与科学技术学院承办的“2012年全国理论计算机科学学术年会”将于2012年8月17日至19日在海南省海口市召开。有关征文要求通知如下:
1、为进一步提高学术水平,本次年会将采取以下措施:
①除征集尚未在其他刊物或学术会议上正式发表过的论文外,还将征文扩大到2011、2012年中国大陆学者在国际一流学术刊物上已发表的论文(注明出处),对后者经审稿录用后,邀请作者出席年会并作报告(但论文不再收入论文集);
②除特邀报告外,还将安排专委委员作大会报告,并组织专题讨论会。
2、征文范围
(1)程序理论(程序逻辑、程序正确性验证、形式化开发方法、高可信软件等)
(2)计算理论(算法设计与分析、复杂性理论、可计算性理论、量子计算、生物计算、社会计算等)
(3)语言理论(形式语言理论、自动机理论、形式语义学、计算语言学等)
(4)人工智能(知识工程、机器学习、模式识别、机器人、数据挖掘、进化计算、脑机接口等)
(5)逻辑基础(数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等)
(6)数据理论(演绎数据库、关系数据库、面向对象数据库、并行分布数据库、空间数据库等)
(7)计算机数学(符号计算、数学定理证明、计算几何、组合数学等)
(8)并行算法(分布式并行算法、大规模并行算法、网格算法、多核并行算法、GPU上并行算法等)
3、本次会议中文、英文论文均可接受。会议录用的英文论文将在《Journal of Computational Information Systems》正刊上发表,录用的中文论文将在《计算机科学》、《计算机工程与科学》和《计算机与数字工程》正刊上发表。会议将推荐优秀论文(第一作者为学生)到《计算机研究与发展》的正刊上发表。
4、论文稿件的排版说明请参见会议网站:http://nctcs2012.hainu.edu.cn/。
5、征文投稿截止日期:2012年4月1日;论文录用通知日期:2012年5月15日
6、论文投稿需网上提交,投稿网站为https://www.easychair.org/conferences/?conf=nctcs2012,按照要求提交电子版WORD文件或者PDF文件。大会提供的Email信箱为:nctcs2012@gmail.com。
7、会议动态和重要信息请关注会议网站:http://nctcs2012.hainu.edu.cn/。
8、联系人和联系电话及Email信箱:
钟声:shzhong@hainu.edu.cn;
廖宇力:lylzl@163.com;
杨慧:271028695@qq.com;
联系电话:0898-66279141
推荐内容
More >>>- · “智联生态,数创未来”第三届CCF中国网络大
- · CSP高分说 | 四川大学林宸:CSP助我夯实基础
- · 188体育投注:申报2025年度CCF教材出版资助项目的通知
- · 188体育投注:申报2025年度CCF推荐优秀国内教材的通知
- · 第二届CCF量子线路设计自动化研讨会顺利召开
- · 【会议通知】2025 CCF系统软件技术论坛
- · 绿动算力·超智融合 | CCF HPC China 2025相约
- · CSP高分说 | 哈尔滨工业大学杨一凡:我的算法
- · 2025年度CCF教育专委执委增选通知
- · 2025年CCF量子计算专委会博士学位论文激励计
- · CCF 企智会(苏州)技术委员会换届会议顺利举
所有评论仅代表网友意见