ETAPS软件理论与实践国际联合会议是软件科学相关领域学术和产业研究人员的主要论坛。自1998年以来，该会议每年春季举办。第28届ETAPS 2025将于2025年5月3日至8日在加拿大麦克马斯特大学举行。

1、发布

论文集将发表于 Springer LNCS 系列的“高级计算与软件科学研究”（ARCoSS）子系列。论文集将以金色开放获取形式出版，所有论文的出版版本将自在线出版之日起永久开放给所有人从出版商网站免费下载。论文的版权仍归作者所有。

2、委员会

总联合主席：

Claudio Menghi  意大利贝加莫大学

Mark Lawford 加拿大麦克马斯特大学

研讨会主席：

Alan Wassyng  加拿大麦克马斯特大学

Angelo Gargantini  意大利贝加莫大学

会议主席：

Jacques Carette 加拿大麦克马斯特大学

Christos Tsigkanos 希腊雅典大学

主题是“软件科学的理论与实践”，强调通过编程语言、形式化方法、软件工具和算法等方向，促进学术研究与工业应用之间的深度融合与创新。

1、重要时间

ESOP 第一轮提交截止日期：2024 年 5 月 30 日 23:59 AoE
ESOP 反驳，第一轮：2024 年 7 月 23 日至 25 日
第一轮员工持股计划通知：2024 年 8 月 8 日
ESOP 第二轮提交截止日期：2024 年 10 月 10 日 23:59 AoE
TACAS、FoSSaCS、FASE 提交截止日期：2024 年 10 月 10 日 23:59 AoE
TACAS 强制工件提交截止日期：2024 年 10 月 24 日
反驳（ESOP、FoSSaCS、部分TACAS）：2024年12月3日至5日
纸质通知和 TACAS 强制工件通知：2024 年 12 月 20 日
ESOP、FASE、FoSSaCS 工件、TACAS 自愿工件提交截止日期：2025 年 1 月 9 日
论文最终版本：2025年1月30日
工件通知 ESOP、FASE、FoSSaCS、TACAS（自愿工件）：2025 年 2 月 13 日
主会议：2025年5月5日至8日

2、提交说明

ETAPS 2025 的四个主要会议征集以下类型的投稿。所有页数均有限制，但不包括参考文献。
ESOP：常规研究论文（篇幅最多 25 页）、经验报告（篇幅最多 15 页）以及提供关于编程语言和系统新见解的全新视角（篇幅最多 15 页）。为了灵活起见，提交的研究论文可以采用其他格式。提交时没有页数限制。更多详情，请参阅ESOP 页面。
FASE：常规研究论文和实证评估论文最多 18 页；新想法和新兴成果 (NIER) 论文最多 8 页；工具演示论文和数据展示论文最多 8 页（+ 可选附录最多 6 页），
FoSSaCS：常规研究论文最多 18 页；不允许 PC 成员提交
TACAS：常规研究论文、案例研究论文和最多 16 页的常规工具论文，最多 6 页的工具演示论文
有关不同论文类型的定义和具体说明（如有），请参阅各个会议的网页。
所有被录用的论文都将收录于 Springer 论文集，并在会议期间进行演示。投稿条件是，如果论文被录用，其中一位作者必须出席会议并进行演示。我们计划将 ETAPS 2025 设为现场会议。
提交的论文必须使用英文，展现原创研究成果。论文必须未发表，且未在其他地方发表。尤其禁止同时向多个 ETAPS 会议提交同一篇论文。
投稿必须遵循 Springer LNCS 的格式指南（使用 llncs.cls 类），并通过相应会议的 Easychair 作者界面以 PDF 格式提交。不符合指定格式和长度的投稿可能会被立即拒绝。
ESOP、FASE 和 TACAS 将采用双盲评审（TACAS 仅针对常规研究论文）。要求作者隐去姓名和机构；引用他人先前研究成果时，请以第三人称引用；请勿添加可能暴露作者身份的致谢。
ESOP 和 FoSSaCS 将采用作者反驳阶段。TACAS 将对选定的提交内容（灰色区域）采用反驳。

3、城市和主办机构

2025年欧洲工程与应用技术大会（ETAPS）将在加拿大汉密尔顿举行，由麦克马斯特大学主办。麦克马斯特大学工程学院以其创新的课程、前沿的研究、领先的师资力量和充满抱负的学生而闻名，并以其卓越的学术成就和创新中心而闻名。学院拥有约180名教职员工，以及近4500名本科生和1000名研究生。工程学院致力于营造一个充满关爱和包容的环境，为学生提供个人成长和职业发展的机会。麦克马斯特大学美丽的校园位于汉密尔顿西北端，安大略湖西端，尼亚加拉断崖、保护区和皇家植物园之间。汉密尔顿人口超过50万，是一个充满活力的社区，交通便利，可轻松前往多伦多和尼亚加拉地区。它位于卡罗来纳森林生态区的北端，该生态区覆盖了安大略省的最南端，但在加拿大其他任何地方都找不到。因此，汉密尔顿拥有许多独特的动植物物种，这些物种只有在夏季气候接近美国北卡罗来纳州和南卡罗来纳州的情况下才能在这里生存。更多信息，请访问旅游网站。

firstname.lastname@d3s.mff.cuni.cz +420 951 554 285