FoSSaCS 2026

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

The FoSSaCS 2026 proceedings will be published in Springer LNCS.

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.

Program Committee (PC) members of FoSSaCS will be allowed to submit up to one paper to FoSSaCS. These submissions will be held to a higher acceptance threshold – for example, PC submissions will not be part of the final vote.

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

The papers can be submitted here.

FoSSaCS 2026 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 Guillermo Alberto Perez.

Detailed information can be found here.

PC Chairs

• Nathalie Bertrand (Inria Rennes, France)
• Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg, Germany)

PC Members

• Franz Baader (TU Dresden, Germany)
• Tegan Brennan (Stevens Institute of Technology, USA)
• Yijia Chen (Shanghai Jiao Tong University, China)
• Pierre Clairambault (CNRS, France)
• Pedro D’Argenio (Universidad Nacional de Córdoba, Argentina)
• Ugo Dal Lago (University of Bologna, Italy)
• Laure Daviaud (University of East Anglia, UK)
• Stephane Demri, (CNRS, France)
• Josee Desharnais (Université Laval, Canada)
• Jérémy Dubut (École Polytechnique, France)
• Maribel Fernandez (King’s College London, UK)
• Bernd Finkbeiner (CISPA Helmholtz Center for Information Security, Germany)
• Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands)
• Jean Goubault-Larrecq (ENS Paris Saclay, France)
• Bart Jacobs (Radboud University Nijmegen, The Netherlands)
• Shin-ya Katsumata (National Institute of Informatics, Japan)
• Sławek Lasota (University of Warsaw, Poland)
• Alessio Mansutti (IMDEA Software Institute, Spain)
• Anca Muscholl (Université de Bordeaux, France)
• Elaine Pimentel (University College London, UK)
• Alexandra Silva (Cornell University, USA)
• Rui Soares Barbosa (International Iberian Nanotechnology Laboratory, Portugal)
• Pawel Sobocinski (Tallinn University of Technology, Estonia)
• Srivathsan (Chennai Mathematical Institute, India)
• Christine Tasson (ISAE Supaero, France)
• Rob van Glabbeek (University of Edinburgh, UK)
• Frits Vaandrager (Radboud University, The Netherlands)
• Martin Zimmermann (Aalborg University, Denmark)