This open access book constitutes the proceedings of the 24th International Conference on
Foundations of Software Science and Computational Structures FOSSACS 2021 which was held
during March 27 until April 1 2021 as part of the European Joint Conferences on Theory and
Practice of Software ETAPS 2021. The conference was planned to take place in Luxembourg and
changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in
this volume were carefully reviewed and selected from 88 submissions. They deal with research
on theories and methods to support the analysis integration synthesis transformation and
verification of programs and software systems.
