【CCF会议专栏】软件理论+实践的“天花板”会议来了!ETAPS 2026落地哥本哈根!

ETAPS 2027

ETAPS is the top flagship academic annual conference in the field of software in Europe. The topics cover theoretical foundations such as formal semantics, program logic, and model checking, as well as engineering practices like compilation technology, program analysis, and system verification. ETAPS aims to build a deep bridge between theory and application, and is an important benchmark for the international academic community and industry to release cutting-edge results and exchange innovative ideas.

会议概况

ETAPS 2027 covers all aspects of programming languages, software theory, formal methods, and system analysis tools. During the pre-conference weekend, satellite seminars are held. The entire conference brings together over 500 researchers from the academic and industrial sectors worldwide, balancing the theoretical foundation of software with practical application. It is the largest and most influential comprehensive academic forum in the field of software science in Europe.

会议基本信息

Project	Detailed information
Meeting Name	European Joint Conferences on Theory and Practice of Software
Time	April 10–15, 2027
Location	Copenhagen, Denmark
Conference website	https://etaps.org/2027/

会议重要日期

Item	Date
Submission	Oct 15
Rebuttal	Dec 7–9
Notification	Dec 22
Voluntary Artifact Submission	Jan 11
Voluntary Artifact Notification	Feb 11
Final version (all)	Jan 25, 2027

征稿主题（包括但不限于）

programming paradigms and styles
methods and tools to specify and reason about programs and languages
programming language foundations
methods and tools for implementation, concurrency and distribution
applications and emerging topics

会议论文投稿要求

regular research papers of max 25 pp,
experience reports of max 15 pp, and fresh perspectives providing new insights on programming languages and systems of max 15 pp.
For the sake of flexibility, submitted research papers may be formatted in other formats.
There is no page limit at the submission time.