索取文件

意大利理论计算机科学会议（ICTCS）的目的是促进来自理论计算机科学不同领域的思想的交叉融合。特别是，ICTCS提供了一个理想的环境，初级研究人员和博士生可以在这里会见高级研究人员。

话题

热烈邀请各国研究人员在理论计算机科学的任何领域作出贡献。

感兴趣的主题包括但不限于以下内容：代理、算法、论证、自动机理论、复杂性理论，计算逻辑、计算社会选择、并发理论、，密码学、离散数学、分布式计算、，动力系统、形式化方法、博弈论、图论、，知识表示、语言、模型检查、过程代数、，量子计算、重写系统、安全与信任、语义、，规范与验证、系统生物学、定理证明、类型理论。

贡献

两种类型的稿件，用英语书写，并按照Springer的格式编排LNCS样式，请求。

常规论文：最多12页，呈现未在其他地方出现或提交的原始结果。为了简化审查过程，定期论文的作者可以添加附录，但不需要审核人员在他们的评估中考虑到这一点。

通信：最多5页，已经适用于论文的扩展摘要已出现/已提交或将在其他地方提交，以及报告作者正在进行的研究的论文希望获得博士论文或研究项目的反馈和概述。

请作者通过以下方式提交PDF格式的手稿Easy椅子.

出版物

对于每个接受的贡献，至少有一位作者需要注册参加会议并提交论文。

所有接受的原始稿件（定期论文和通讯）将在CEUR研讨会论文集上发表(第2243卷).

与往年一样，我们计划出版一系列最佳论文在《理论计算机科学》的一期特刊上。