FASE 2025: Call for Papers

The 28th International Conference on Fundamental Approaches to Software Engineering (FASE 2025) is concerned with the foundations on which software engineering is built.

FASE 2025 is part of ETAPS 2025, held from May 5–8, 2025, in Hamilton, Canada.

General Information

Submissions should make novel contributions to making software engineering a more mature and soundly-based discipline. Contributions should be supported by appropriate arguments and validation. Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged.

Topics of Interest

We welcome contributions to all fundamental approaches, including:

• Applications of AI to software engineering, including search-based, learning-based approaches, and advances in code generation and program synthesis, automated testing and debugging, software documentation and program understanding, intelligent code review and refactoring, DevOps and AIOps, and applications of large language models (LLMs).
• Software engineering foundations for AI-based systems, for example with focus on: explainability, transparency and trust, data management, testing and verification, lifecycle management, system architecture;
• Software quality and testing: validation and verification of functional and non-functional software properties (including security and data privacy) using techniques such as theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualization techniques;
• Software engineering as an engineering discipline, including its interaction with and impact on society and economics;
• Ethical and responsible software engineering: prioritizing fairness, transparency, and accountability in AI and software systems while addressing societal concerns like inequality and bias;
• Requirements engineering: capture, consistency, and change management of software requirements, natural language processing for requirement elicitation;
• Software architectures: description and analysis of the architecture, e.g., SOA, microservice architectures, cloud-native architectures, event-driven architectures, model-driven architectures, or software product lines;
• Specification, design, and implementation of particular classes of systems: (self-)adaptive, autonomous, collaborative, intelligent, embedded, distributed, mobile, pervasive, cyber-physical, data-centric, service-oriented applications, multi-agent systems, safety-critical, real-time, blockchain-based, mixed-reality systems, human-in-the-loop systems or digital twins;
• Model-driven engineering: model transformation, meta-modelling, design and semantics of domain-specific languages, consistency and synchronization of models, generative architectures, low-code and no-code development;
• Software processes: support for iterative, agile, and open source development;
• Software evolution: refactoring, reverse and re-engineering, configuration management and architectural change, mining software repositories.

Submission Categories

FASE 2025 solicits four types of submissions:

• Research papers and Empirical evaluation papers: 15–18 pages (excluding bibliography).
• New Ideas and Emerging Results (NIER) papers: 6–8 pages (excluding bibliography).
• Tool demonstration papers and Data showcase papers: 6–8 pages (+ optional appendix of max 6 pages).

Important Dates

• Submission deadline for FASE: October 10, 2024, 23:59 AoE
• (Papers can be polished until October 14, 23:59 AoE)
• TACAS mandatory artifact submission deadline: October 24, 2024
• Rebuttal (ESOP, FoSSaCS, partially TACAS): December 3–5, 2024
• Paper notification: December 20, 2024
• FASE artifact submission deadline: January 9, 2025
• Paper final version: January 30, 2025
• Artifact notification (ESOP, FASE, FoSSaCS, TACAS): February 13, 2025
• Main Conference: May 5–8, 2025

Submission Guidelines

• Submissions must follow the formatting guidelines of Springer’s LNCS (use the llncs.cls class).
• Submissions must be made electronically in pdf through the Easychair author interface.
• Submissions not adhering to the specified format and length may be rejected immediately.
• Double-blind reviewing will be used. Authors are asked to omit their names and institutions; refer to prior work in the third person; and not to include acknowledgments that might identify them.
• Artifact submission for FASE is voluntary, with the deadline after paper notification. The outcome will not alter the paper acceptance decision.

Publication

The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer’s LNCS series. The proceedings volumes will appear in gold open access, making them freely available.

Awards

Distinguished papers will be marked and highlighted. From these, the best ETAPS papers will be selected. The ETAPS Test-of-Time Award and the ETAPS Rance Cleaveland Test-of-Time Tool Award will also be granted.

Co-located Events

FASE is co-located with other conferences as part of ETAPS 2025: ESOP, FoSSaCS, and TACAS. Satellite events will take place on May 3–4, 2025.

Organizers

• Claudio Menghi (University of Bergamo, Italy, and McMaster University, Canada)
• Mark Lawford (McMaster University, Canada)