导读:这篇理论计算机科学论文范文为免费优秀学术论文范文,可用于相关写作参考。

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

征文通知

由中国计算机学会理论计算机科学专业委员会主办,陕西师范大学计算机科学学院承办的"2017全国理论计算机科学学术年会"将于2017年9月19日至21日在陕西省西安市召开.本次年会录用的论文将由《计算机研究与发展》(增刊)和《计算机工程与科学》(正刊)发表,并评选出优秀论文推荐到《计算机研究与发展》正刊发表,欢迎大家积极投稿.有关征文要求通知如下:

1,为进一步提高学术水平,本次年会将采取以下措施:①将征文扩大到年中国大陆学者在国际一流学术刊物上已发表的论文,经审稿录用后,邀请作者出席年会并作报告(但论文不再收入论文集);②鼓励在年会召开期间组织讲座(utorial),有意者与. 2,稿件请参照《计算机研究与发展》或《计算机工程与科学》的论文格式编排.正文采用五号宋体.稿件中的图形,图象要求工整,清晰,紧凑,尺寸要尽量小,图表中文字采用六号宋体.稿件全文不超过六千字.标题,作者姓名,作者单位,摘 要,关键词五部分要求中,英文齐全.稿件正文部分依次为:1引言;2...;最后是结语.附录放在参考文献之后;参考文献限列已公开发表的,参考文献格式为:

序号 作者.书名.出版地:出版社名称,出版年份

序号 作者.论文题名.期刊名称,年份,卷号(期号):起止页码

序号 作者.论文题名.会议论文集名称,出版地:出版社名称,出版年份,起止页码

务必附上第一作者简历(姓名,性别,出生年月,出生地,是否是学生,职称,学位,研究方向等),通信地址,邮政编码,论文范文和电子信箱.并注明论文所属领域.如果作者对于论文录用后发表的刊物有特殊要求,请在投稿时注明.来稿一律不退,请自留底稿.

3,征文范围

(1)程序理论(程序逻辑,程序正确性验证,形式化开发方法等)

(2)计算理论(算法设计与分析,复杂性理论,可计算性理论等)

(3)语言理论(形式语言理论,自动机理论,形式语义学,计算语言学等)

(4)人工智能(知识工程,机器学习,模式识别,机器人,数据挖掘,进化计算等)

(5)逻辑基础(数理逻辑,多值逻辑,模糊逻辑,模态逻辑,直觉主义逻辑,组合逻辑等)

(6)数据理论(演绎数据库,关系数据库,面向对象数据库,并行分布数据库,空间数据库等)

(7)计算机数学(符号计算,数学定理证明,计算几何,组合数学等)

(8)并行算法(分布式并行算法,大规模并行算法,网格算法,量子计算并行算法等)

4,征文投稿截止日期:2017年4月25日;论文录用通知日期:2017年6月1日

5,论文投稿需网上提交,投稿网站为tcs2017.snnu.edu.,按照要求提交电子版WORD文件或者PDF文件.大会提供的Email信箱为:tcssn2017@yahoo.

6,会议动态和重要信息请关注会议网站:tcs2017.snnu.edu.

7,联系论文范文论文范文及Email信箱:

何雪莉:029-85310161,15934839664,tcssn2017@yahoo.

韩召伟:029-85310161,13991205117,tcssn2017@yahoo.

李永明:029-85310166,13891825126,liyongm@snnu.edu.

联系地址:西安陕西师范大学计算机科学学院,邮政编码:710062.

中国计算机学会

理论计算机:凯程教育2014年北大信息科学技术学院(计算机软件与理论专业)考研参考书、考研真题、考研经验谈、招生人数

理论计算机科学专业委员会

陕西师范大学计算机科学学院

2017年3月24日

理论计算机科学范文

理论计算机参考文献总结:

适合不知如何写理论计算机科学方面的相关专业大学硕士和本科毕业论文以及关于理论计算机科学论文开题报告范文和相关职称论文写作参考文献资料下载。