This open access book constitutes the proceedings of the 25th International Conference on
Foundations of Software Science and Computational Structures FOSSACS 2022 which was held
during April 4-6 2022 in Munich Germany as part of the European Joint Conferences on Theory
and Practice of Software ETAPS 2022. The 23 regular papers presented in this volume were
carefully reviewed and selected from 77 submissions. They deal with research on theories and
methods to support the analysis integration synthesis transformation and verification of
programs and software systems.
