理论计算机科学（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）