Editorial

摘要

This volume stems from the International Symposium on Logical Foundations of Computer Science (LFCS’22), held online, 10–13 January 2022. Subsequent to that meeting, some of the speakers were invited to contribute to this volume.