FoSSaCS 2025: Call for Papers

The 28th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS 2025) seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

FoSSaCS 2025 will take place in Hamilton, Canada, from May 5–8, 2025, as part of the ETAPS 2025 joint conferences.

Topics of Interest

The specific topics covered by the conference include, but are not limited to:

• 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

Submission Guidelines

• Paper Category: FoSSaCS solicits research papers only.
• Page Limit: The page limit is 18 pages excluding references. Additional material can be placed in a clearly marked appendix.
• PC Submissions: PC submissions are not allowed.
• Submission Platform: Papers can be submitted via EasyChair at https://easychair.org/conferences/?conf=fossacs2025.
• Formatting: Submissions must follow the formatting guidelines of Springer’s LNCS (use the llncs.cls class).
• Review Process: FoSSaCS will use double-blind reviewing and an author rebuttal phase.
• Artifact Evaluation: FoSSaCS 2025 will have a post-paper-acceptance voluntary artifact evaluation. Authors will be encouraged to submit artifacts for evaluation after paper notification. The outcome will not alter the paper’s acceptance decision. For more information, contact Ondřej Lengál.

Important Dates

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

Publication

Proceedings of FoSSaCS 2025 are published as gold open access by Springer in the LNCS series (LNCS 15691). The published versions of all papers will be available freely online.

Program Committee

PC Chairs:

• Delia Kesner (Université Paris Cité, France)
• Parosh Aziz Abdulla (Uppsala University, Sweden)

PC Members:

• Aiswarya Cyriac (Chennai Mathematical Institute, India)
• Aleksandar Naneviski (IMDEA Software Institute, Spain)
• Aleksy Schubert (University of Warsaw, Poland)
• Alwen Tiu (Australian National University, Australia)
• Ambrus Kaposi (Eötvös Loránd University, Hungary)
• Anthony Widjaja Lin (TU Kaiserslautern and MPI-SWS, Germany)
• Assia Mahboubi (Inria and Vrije Universiteit Amsterdam, France and The Netherlands)
• Caterina Urban (INRIA and PSL, France)
• Dana Fisman (Ben-Gurion University, Israel)
• Dylan McDermott (Reykjavik University, Island)
• James Worrell (University of Oxford, UK)
• Jean-Francois Raskin (Université libre de Bruxelles, Belgium)
• Karin Quaas (Universität Leipzig, Germany)
• Laure Daviaud (University of East Anglia, UK)
• Luca Padovani (Università di Camerino, Italy)
• Luis Caires (Tecnico ULisboa and INESC ID, Portugal)
• Masha ShirMohammadi (CNRS, Université Paris Cité, France)
• Matija Pretnar (University of Ljubljana, Slovenia)
• Naoki Kobayashi (The University of Tokyo, Japan)
• Nathalie Bertrand (Inria, France)
• Orna Kupferman (Hebrew University, Israel)
• Patrick Totzke (University of Liverpool, UK)
• Prakash Saivasan (The Institute of Mathematical Sciences, India)
• Santiago Figueira (Universidad de Buenos Aires, Argentina)
• Ugo Dal Lago (Università di Bologna, Italy)
• Yu-Fang Chen (Academia Sinica, Taiwan)
• Yuxin Deng (East China Normal University, China)
• Zena M. Ariola (University of Oregon, USA)