  This volume contains the proceedings of the 1st International Workshop on
Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part
of the 24th International Symposium on Formal Methods (FM). The aim of the
AppFM workshop is to bring together researchers who improve and evaluate
existing formal approaches and new variants in practical contexts and support
the transfer of these approaches to software engineering practice.
