This volume stems from the International Symposium on Logical Foundations of Computer Science (LFCS’20), held in Deerfield Beach, FL, 4–7 January 2020. Subsequent to that meeting some of the speakers were invited to contribute to this volume.

中文翻译：

---

社论

该卷取材于2020年1月4日至7日在佛罗里达州迪尔菲尔德比奇举行的计算机科学逻辑基础国际研讨会（LFCS'20）。在那次会议之后，邀请了一些发言人为该卷做出贡献。