CFP summary
ETAPS 2026 is the European Joint Conferences on Theory and Practice of Software, a federated event that brings together several major conferences on software science, programming languages, formal methods, and tools. ETAPS provides a broad meeting point for communities spanning theoretical foundations and practical techniques for software systems. The 2026 edition in Turin continues the series’ long-standing role as a hub for high-quality conferences, workshops, and tool-centered exchanges.
Topics
Theory and practice of software; programming languages; formal methods; verification and model checking; compiler and tool support; software science; semantics; concurrency; systems and software reliability; cross-cutting workshops and tools across software research communities.