中国计算机学会（CCF）推荐学术会议-B（软件工程/系统软件/程序设计语言）：ETAPS 2026

ETAPS 2026

ETAPS is a confederation of several conferences, each with its own Programme Committee and Steering Committee. ETAPS is the most important and visible annual European event related to software sciences. Altogether, more than 500 researchers participate in this event every year.

The confederated conferences cover various aspects of software systems, ranging from theoretical foundations to programming language developments, compiler advancements, analysis tools, formal approaches to software engineering, and security.

From 2020 on ETAPS consists of four conferences:

ESOP: European Symposium on Programming

FASE: Fundamental Approaches to Software Engineering

FoSSaCS: Foundations of Software Science and Computation Structures

TACAS: Tools and Algorithms for the Construction and Analysis of Systems

重要信息

CCF推荐：B（软件工程/系统软件/程序设计语言）

录用率：32.2%（2025年）

时间地点：2026年4月11日-都灵·意大利

截止时间：2025年10月16日

Call for Papers-ESOP

ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

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.

Contributions bridging the gap between theory and practice are particularly welcome.

Call for Papers-FASE

FASE is concerned with the foundations on which software engineering is built.

applications of AI to software engineering.

software engineering foundations for AI-based systems.

software quality and testing.

software engineering as an engineering discipline, including its interaction with and impact on society and economics.

ethical and responsible software engineering.

requirements engineering.

software architectures.

specification, design, and implementation of particular classes of systems.

model-driven engineering.

software processes.

software evolution.

Call for Papers-FoSSaCS

FoSSaCS seeks original papers on foundational research with a clear significance for software science.

categorical models and logics.

language theory, automata, and games.

modal, spatial, and temporal logics.

type theory and proof theory.

concurrency theory and process calculi.

rewriting theory.

semantics of programming languages.

program analysis, correctness, transformation, and verification.

logics of programming.

software specification and refinement.

models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems.

emerging models of computation.

logical aspects of computational complexity.

models of software security.

logical foundations of data bases.

Call for Papers-TACAS

TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems.

specification and verification techniques.

software and hardware verification.

analytical techniques for real-time, hybrid, or stochastic systems.

analytical techniques for safety, security, or dependability.

SAT and SMT solving.

theorem proving.

model checking.

static and dynamic program analysis.

testing.

abstraction techniques for modeling and verification.

compositional and refinement-based methodologies.

system construction and transformation techniques.

machine-learning techniques for synthesis and verification.

tool environments and tool architectures.

applications and case studies.