Mathematics of Program Construction 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings