3 - 8 May 2025, 28th ETAPS International Joint Conferences On Theory and Practice of Software (ETAPS 2025), Hamilton, Canada
ETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2025 is the twenty-eighth event in the series.
Main 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
The four main conferences of ETAPS 2025 solicit contributions of the following types. All page limits are given excluding the bibliography. Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere.
- ESOP: 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. Please refer to ESOP page for more details.
- FASE: regular research papers and empirical evaluation papers of max 18 pp; new ideas and emerging results (NIER) papers of max 8 pp; tool demonstration papers and data showcase papers of max 8 pp (+ optional appendix of max 6 pp),
- FoSSaCS: regular research papers of max 18 pp
- TACAS: regular research papers, case study papers, and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp