埃米尔·塞克林斯基（编辑）;内尔玛·莫雷拉（编辑）;JoséN·奥利维拉。（编辑）;丹尼尔·拉蒂乌（编辑）;里卡多·吉多蒂（编辑）;玛丽·法雷尔（编辑）;马特·勒克库克（编辑）;迭戈·马姆斯勒（编辑）;JoséCampos（编辑）;特洛伊州阿斯塔特（编辑）;劳雷·贡诺德（编辑）;安东尼奥·塞隆（编辑）;路易斯·库托（编辑）;布里杰什·多戈尔（编辑）;马丁·库特里布（编辑）;佩德罗·蒙泰罗（编辑）;大卫·德尔马斯（编辑） 形式化方法。FM 2019国际研讨会。葡萄牙波尔图，2019年10月7日至11日。修订了选定的论文。第二部分。 （英语） Zbl 1499.68024号 计算机科学讲义12233.查姆：施普林格（ISBN 978-3-030-54996-1/pbk；978-3-0030-54997-8/电子书）。十八、575页。(2020). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。FM 2019会议记录见[Zbl 1423.68040号]. 关于2019年FM研讨会修订论文的第一部分，请参见[Zbl 1499.68023号].索引文章：Robert Glück；Robin Kaarsgaard；横山，铁雄，可逆程序具有可逆语义，413-427[兹比尔1509.68034]卡米勒·卡迪耶夫；阿利亚·卡迪埃娃，具有在线最小化问题建议的双向量子和经典自动机，428-442[Zbl 1509.68134号]埃利斯·塔姆，可逆语言的商和原子，443-455[Zbl 1509.68141号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 68季度xx 计算理论 00B25型 其他特别感兴趣的会议记录 引文：Zbl 1391.68007号;Zbl 1423.68040号;Zbl 1499.68023号 PDF格式BibTeX公司 XML格式引用 \textit{E.Sekerinski}（编辑）等，《形式方法》。FM 2019国际研讨会。葡萄牙波尔图，2019年10月7日至11日。修订了选定的论文。第二部分。商会：施普林格（2020；兹比尔1499.68024） 全文： 内政部