FoSSaCS 2025

The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. The specific topics covered by the conference include, but are not limited to, the following:

• 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

FoSSaCS solicits just a single paper category—research papers. The page limit is 18 pp excluding references, respecting the Springer’s LNCS format at the submission time. Additional material (no page limit) can be placed in a clearly marked appendix, at the end of the paper.

PC submissions are not allowed.

The important dates are available in the Joint Call for Papers.

The papers can be submitted here.

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 about FoSSaCS artifact evaluation, please contact Ondřej Lengál.

Detailed information can be found here.

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)