1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
信息公告

    理论计算机科学专栏征文通知

  • 理论计算机科学(Theoretical Computer Science,TCS),即计算理论或计算机科学的数学基础,它主要研究有关计算的相对更抽象化、逻辑化和数学化的问题。尽管形式化算法已经存在了数千年,但直到1936年,Alan Mathison Turing,Alonzo Church和Stephen Cole Kleene才给出了算法在计算理论中的形式化定义。早在1703年之前就有了二进制和数理逻辑系统,Gottfried Wilhelm Leibniz建立了真假二元的形式逻辑。1931年,Kurt Friedrich G?del证明了哥德尔不完备定理。1948年, Claude Elwood Shannon通过将信息的传递作为一种统计现象而引入了信息论。同时,在四十年代,Donald Hebb建立了一套大脑学习模式的数学模型。随着20世纪初量子力学的发展,数学运算的概念被引入了粒子波函数,从而多重状态上的函数得以计算。在九十年代,Peter Shor提出了量子质因数分解算法。现代理论计算机科学研究在上述基础上展开,同时也包含了其它数学和跨学科的问题。

    为了进一步促进理论计算机科学这一领域的科学研究、学术交流和人才培养,《计算机科学》拟定于2020年第5期出版“理论计算机科学”专栏(正刊)。该专栏将重点关注自动机论与形式语言理论、程序理论、形式语义学、算法分析和计算复杂性理论,以及机器学习、大数据、深度学习的基础理论、模型与算法等方向,强调文章内容的理论性与创新性。欢迎广大师生和研究人员踊跃投稿!

    专栏特邀编审(以姓氏拼音排序):

    操宜新  (香港理工大学)

    何  琨  (华中科技大学)

    孙晓明  (中国科学院计算技术研究所)

    尹一通  (南京大学)

    张驰豪  (上海交通大学)

    一、征文范围(包括但不限于)

    (1)算法设计与分析

    (2)计算复杂性理论(包括通讯复杂性、具体复杂性等)

    (3)自动机论与形式语言理论

    (4)软件理论与方法

    (5)数据科学与机器学习理论

    (6)Web科学基础理论

    (7)计算模型(量子计算、生物信息学、社会计算、云计算、并行计算等)

    二、投稿要求

    1.  投稿方式:采用“计算机科学在线投稿系统”(http://www.jsjkx.com)投稿。投稿时请选择“理论计算机科学”栏目。

    2.  稿件格式:参照《计算机科学》论文格式(官网提供了论文模板,可供下载),中英文稿件均可,内容可是原创研究型和综述型成果,一般不少于8页。

    3.  投稿文章未在正式出版物上发表过,也不处于其他刊物或会议的审稿过程中,不存在一稿多投现象;投稿文章需保证合法性(无抄袭、剽窃、侵权等不良行为)。

    4.  其他事项请参阅投稿指南:http://www.jsjkx.com/CN/column/column12.shtml

    5.  专栏投稿文章不收审理费,录用后按照正常标准收取版面费。发表之后,将向作者支付稿酬,并赠送样刊。

    三、重要时间

    征文截止时间:2020年2月15日    

    录用截止时间:2020年3月15日

    出版时间:2020年5月15日

    四、联系方式

    编辑部电话:(+86)023-67039612   邮箱:lyhjsjkx@163.com 

    通信地址:重庆市渝北区洪湖西路18号(401121)
发布日期: 2019-08-14  浏览次数: 1196