Preface

It is my pleasure to present the papers of the Sixth Working Formal Methods Symposium (FROM 2022) held at the "Al. I. Cuza" University of Iaşi, 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.

I wish to thank the program committee, the local organizers, EPTCS, as well as the reviewers, authors, and participants at the conference.

Program Committee:

• Andrei Arusoaie, Alexandru Ioan Cuza University of Iaşi
• Dines Björner, Technical University of Denmark
• Florin Crăciun, Babeş-Bolyai University of Cluj-Napoca
• Cătălin Dima, University Paris-Est
• Mădălina Eraşcu, West University of Timişoara & e-Austria Institute
• Laurentiu Leuştean, University of Bucharest
• Dorel Lucanu, Alexandru Ioan Cuza University of Iaşi
• Simona Motogna, Babeş-Bolyai University of Cluj-Napoca
• David Nowak, CNRS & University of Lille
• Peter Csaba Ölveczky, University of Oslo
• Corina Păsăreanu, Nasa & Carnegie-Mellon University
• Luigia Petre, Åbo Akademi University
• Vlad Rusu (chair), Inria Lille
• Viorica Sofronie-Stokkermans, University of Koblenz-Landau

Vlad Rusu

Iaşi, 2022