It is our pleasure to present the papers of the sixth Working Formal Methods Symposium (FROM 2022) held at the "Al. I. Cuza" university of Iasi, Romania on September 19-20, 2022. FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. The program committee chose five contributions and four invited presentations, one of which was shared with the co-located 28th Workshop on Logic, Language, Information and Computation (WoLLIC 2022). Two of the contributions deal with Matching Logic, an expressive logical framework where the formal definitions of programming languages and other logics can be embedded. Other contributions deal with distributed systems, multi-agent systems, and teaching formal methods. The invited talks present work broadly consistent with these topics.
翻译:我们很高兴介绍2022年9月19日至20日在罗马尼亚亚西“Al.I.Cuza”大学举行的第六次正式工作方法专题讨论会(FROM 2022)的文件,其目的是汇集研究正规方法的研究人员和从业人员,贡献新的理论成果、方法、技术和框架,和/或创造或使用应用理论贡献的软件工具,使正规方法发挥作用;方案委员会选择了5项意见和4项邀请发言,其中1项与设在同一地点的第28次逻辑、语言、信息和计算问题讲习班(WoLLLIC 2022)分享;其中两项意见涉及匹配逻辑,这是一个明确的逻辑框架,其中可以嵌入对方案语言和其他逻辑的正式定义;其他意见涉及分布式系统、多试办系统和教授正式方法;受邀的演讲介绍了与这些主题大致一致的工作。