论文标题
第六次工作形式方法研讨会论文集
Proceedings of the Sixth Working Formal Methods Symposium
论文作者
论文摘要
我们很高兴在2022年9月19日至2022年9月19日至2022年在罗马尼亚Iasi大学举行的第六次工作形式方法研讨会的论文（从2022年开始）。从目标和实践者聚集起来，这些研究人员和从业人员将正式的方法用于正式方法，以实现正式的方法，或者通过新的理论，方法，技术，技术和框架，或框架，或框架，或构建方法，技术和框架，或框架，或者，或者，或者是将新的理论，技术，或框架进行贡献，或者。理论贡献。 计划委员会选择了五项捐款和四项邀请演讲，其中之一与共同置于的逻辑，语言，信息和计算的第28届讲习班共享（Wollic 2022）。其中两个贡献涉及匹配逻辑，这是一个表现力的逻辑框架，可以嵌入编程语言和其他逻辑的形式定义。其他贡献涉及分布式系统，多代理系统和教学形式方法。邀请的演讲与这些主题广泛一致。
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.
