DeepAI AI Chat
Log In Sign Up

Proceedings of the Sixth Working Formal Methods Symposium

09/19/2022
by   Vlad Rusu, et al.
0

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.

READ FULL TEXT
09/02/2019

Proceedings Third Symposium on Working Formal Methods

This volume contains the proceedings of FROM 2019: the Third Symposium o...
12/28/2014

Proceedings of the 11th workshop on Quantum Physics and Logic

This volume contains the proceedings of the 11th International Workshop ...
03/22/2023

Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications

This volume contains the post-proceedings of the Seventeenth Logical and...
11/27/2018

Integrating User Design and Formal Models within PVSio-Web

Creating formal models of interactive systems has wide reaching benefits...
04/07/2022

Proceedings 16th Logical and Semantic Frameworks with Applications

This volume contains the post-proceedings of the Sixteenth Logical and S...
04/21/2020

Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)

Recently, a growing number of researchers have applied machine learning ...