埃里克·德文克（编辑）;安娜·卡瓦尔坎蒂（编辑） 编辑。 （英语） Zbl 1458.68008号 正式Asp。计算。 33，编号1，1-2（2021）. 正文：本期特刊包含2018年7月15日至17日在英国牛津举行的第22届形式方法国际研讨会FM 2018上发表的论文。2018年FM包括各种研讨会、教程、工业日和主要活动前后的博士研讨会。这是一项特殊活动，因为它是作为FLoC（联邦逻辑会议）的一部分组织的。来自世界各地的作者提交了110份论文。从35篇被接受的论文中，编辑们邀请评价最高的论文的作者提交本期特刊的扩展版本。所选的五篇论文反映了FM研讨会的目标，即推进形式化方法的基础和实际应用。 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{E.de Vink}（编辑）和\textit{A.Cavalcanti}（主编），正式Asp。计算。33，编号1，1--2（2021；Zbl 1458.68008） 全文： 内政部