ETAPS 2027 — 30th European Joint Conferences on Theory and Practice of Software

ETAPS 2027, the 30th European Joint Conferences on Theory and Practice of Software, runs 10-15 April 2027 in Copenhagen, Denmark, with the main conferences on 12-15 April and satellite workshops on 10-11 April. It is organised by Aalborg University, the IT University of Copenhagen and the University of Copenhagen, and bundles four peer-reviewed conferences into one week: ESOP (European Symposium on Programming), FoSSaCS (Foundations of Software Science and Computation Structures), iFS (Foundations and Formal Methods for Software and Systems) and TACAS (Tools and Algorithms for the Construction and Analysis of Systems). TACAS explicitly solicits machine-learning techniques for synthesis and verification alongside model checking, SAT and SMT solving, theorem proving, static and dynamic program analysis, testing, and analytical techniques for safety, security and dependability. Invited speakers include Dimitra Giannakopoulou of Amazon AWS.

• Paper submission deadline (ESOP round 2, FoSSaCS, iFS, TACAS)Oct 15, 2026
• TACAS mandatory artifact submission deadlineOct 29, 2026
• Author rebuttal period opensDec 7, 2026
• Notification to authorsDec 22, 2026
• Voluntary artifact submission deadlineJan 11, 2027
• Camera-ready deadlineJan 25, 2027
• Artifact evaluation notificationFeb 11, 2027

Date

April 10–15, 2027

Location

Copenhagen, Denmark

Format

In-Person

Event Type

Conference

Status

Upcoming

Pricing

Paid

Organizer

ETAPS Association, hosted by Aalborg University, IT University of Copenhagen and University of Copenhagen

Added

Sep 3, 2026

Updated

Sep 3, 2026

• ✓Software architects in safety-critical and regulated systems
• ✓Formal methods and verification engineers
• ✓Quality, validation and assurance leads
• ✓Security engineers
• ✓Heads of engineering for high-assurance software
• ✓Programming language researchers and PhD students

If you ship software where a defect is a safety, security or regulatory event — automotive, avionics, payments, medical devices, cloud control planes — ETAPS is where the tooling your assurance case depends on gets presented and, in TACAS's case, independently re-run through mandatory artifact evaluation. An engineering leader gets four conferences' worth of programme in one week, direct contact with the authors of the model checkers and analysers already inside their build pipeline, and an early read on machine-learning-assisted synthesis and verification, which TACAS 2027 solicits explicitly. Amazon AWS on the invited programme is a fair signal of how far this work has moved into production infrastructure.

• ✓ESOP — European Symposium on Programming, run with two submission rounds (28 May 2026 and 15 October 2026)
• ✓FoSSaCS — Foundations of Software Science and Computation Structures
• ✓iFS — International Conference on Foundations and Formal Methods for Software and Systems
• ✓TACAS — Tools and Algorithms for the Construction and Analysis of Systems, with mandatory artifact evaluation
• ✓Satellite workshops on 10-11 April 2027, ahead of the main conferences on 12-15 April
• ✓Invited talks from Amazon AWS, TU Munich, TU Darmstadt and ETH Zurich
• ✓Voluntary artifact evaluation across the member conferences, with notification on 11 February 2027

• ★Four separately peer-reviewed conferences — ESOP, FoSSaCS, iFS and TACAS — plus satellite workshops in a single week and a single trip, rather than four scattered events.
• ★TACAS's 2027 call explicitly lists 'machine-learning techniques for synthesis and verification', putting ML-assisted verification on the main technical programme rather than in a fringe workshop.
• ★TACAS requires a mandatory artifact submission two weeks after the paper deadline (29 October 2026), so tools presented there have been independently re-run rather than merely described.
• ★The invited programme spans industry and academia — Dimitra Giannakopoulou (Amazon AWS), Javier Esparza (TU Munich), Mira Mezini (TU Darmstadt) and Peter Müller (ETH Zurich).
• ★The 30th edition of a series that has run every spring since 1998, so the review standards and tool-evaluation culture are long established.

Registration rates for ETAPS 2027 are not published on etaps.org as of September 2026; the site currently carries the joint call for papers and its deadlines only. Rates for the main conferences and satellite events are expected closer to the April 2027 dates.

When is ETAPS 2027?

ETAPS 2027 takes place April 10–15, 2027 in Copenhagen, Denmark.

Where is ETAPS 2027 held?

ETAPS 2027 is held in Copenhagen, Denmark. The event format is in-person.

What is the ETAPS 2027 submission deadline?

The next ETAPS 2027 deadline is paper submission deadline (esop round 2, fossacs, ifs, tacas) on Oct 15, 2026. Remaining dates: TACAS mandatory artifact submission deadline — Oct 29, 2026; Author rebuttal period opens — Dec 7, 2026; Notification to authors — Dec 22, 2026; Voluntary artifact submission deadline — Jan 11, 2027; Camera-ready deadline — Jan 25, 2027; Artifact evaluation notification — Feb 11, 2027.

How much does ETAPS 2027 cost?

ETAPS 2027 is paid. Registration rates for ETAPS 2027 are not published on etaps.org as of September 2026; the site currently carries the joint call for papers and its deadlines only. Rates for the main conferences and satellite events are expected closer to the April 2027 dates.

Who should attend ETAPS 2027?

ETAPS 2027 is aimed at Software architects in safety-critical and regulated systems, Formal methods and verification engineers, Quality, validation and assurance leads, Security engineers, Heads of engineering for high-assurance software, Programming language researchers and PhD students.

What topics does ETAPS 2027 cover?

ETAPS 2027 covers Formal methods, Software and hardware verification, Machine-learning techniques for synthesis and verification, Model checking, Static and dynamic program analysis, SAT and SMT solving, Theorem proving, Programming languages, Safety, security and dependability, Testing and abstraction techniques.

This page was written from 4 sources, 1 on domains other than etaps.org.

1. 1.etaps.org — 2027vendor
2. 2.etaps.org — cfpvendor
3. 3.etaps.org — tacasvendor
4. 4.resources.illc.uva.nl — newsitem