软件理论与实践国际联合会议

ETAPS 是面向从事软件科学相关课题研究的学术界和工业界研究人员的主要论坛。ETAPS 成立于 1998 年，由四场年度会议及一系列卫星研讨会组成。ETAPS 2027 是该系列会议的第三十届。

1、出版信息

会议论文集将以Springer LNCS系列的高级计算与软件科学研究（ARCoSS）子系列出版。论文集将以金色开放获取形式发布，并采用CC-BY许可协议，因此所有论文的已发表版本自在线出版之日起，即可永久从出版社网站免费下载。论文的版权归作者所有。

2、组委会

大会组织者：

Kim Guldstrand Larsen，奥尔堡大学
Fritz Henlein，哥本哈根大学
Thomas Troels Hildebrandt，哥本哈根大学
Andrzej Wąsowski，哥本哈根信息技术大学
Carsten Schürmann，哥本哈根信息技术大学
Boris Düdder，哥本哈根大学

指导委员会：

• Robbert Krebbers，奈梅亨拉德堡德大学（SC 主席和 PC 主席，2026 年）
• Ugo Dal Lago，博洛尼亚大学（2028 年程序委员会主席）
• Azalea Raad，伦敦帝国理工学院（2027 年程序委员会主席）
• Viktor Vafeiadis，马克斯·普朗克软件系统研究所（2025 年程序委员会主席）
• Brigitte Pientka，麦吉尔大学（2017年起成为正式成员）
• Nobuko Yoshida，牛津大学（2023年起为常任成员）

• 编程范式和风格
• 用于指定和推理程序和语言的方法和工具
• 编程语言基础
• 实现、并发和分布式的方法和工具
• 应用和新兴主题

1、投稿指南

• ESOP：常规研究论文（不超过 25 页）、经验报告（不超过 15 页）以及提供编程语言和系统新见解的创新观点文章（不超过 15 页）。为方便起见，提交的研究论文可以采用其他格式。提交时没有页数限制。 
• iFS：论文长度分为两种：长篇（16页正文 + 2页参考文献）和短篇（8页正文 + 1页参考文献）。具体论文类别限制如下：常规研究论文：长篇；实证评估论文：长篇或短篇；数据展示论文：短篇（+可选附录，最多6页）；新思路和新兴成果（NIER）论文（愿景、反思）：短篇；工具论文：长篇或短篇（+可选附录，最多6页）。
• FoSSaCS：常规研究论文，最多 18 页。
• TACAS：常规研究论文、案例研究论文和常规工具论文，篇幅不超过18页（可加附录）；工具演示论文，篇幅不超过6页（可加附录）。每位作者最多可提交5篇论文。

2、重要时间

ESOP 第一轮投稿截止    2026年5月28日
ESOP 第一轮作者回复    2026年7月20—22日
ESOP 第一轮录用通知    2026年8月6日（已公布）
ESOP 第二轮、iFS、FoSSaCS、TACAS 投稿截止    2026年10月15日
TACAS 强制性工件提交截止    2026年10月29日
ESOP 第二轮、FoSSaCS、TACAS 作者回复    2026年12月7—9日
论文录用通知及 TACAS 工件评估通知    2026年12月22日
自愿工件提交截止    2027年1月11日
论文最终稿提交截止    2027年1月25日
自愿工件评估结果通知    2027年2月11日
卫星研讨会及相关活动    2027年4月10—11日
主会议召开时间    2027年4月12—15日
整体会议时间    2027年4月10—15日

[email protected]