FoMLAS2023: Editor's Preface

These are the proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS’23), which was held in Paris, France, on July 17th and 18th, 2023. FoMLAS was first held in 2018 and has been held annually, collocated with the International Conference on Computer Aided Verification (CAV). Starting from 2022, FoMLAS is a two-day workshop.

The main goal of the workshop is to facilitate discussions on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. It provides a leading forum to researchers in academia and industry to present and discuss latest methods, technologies, theoretical results, and tools on the intersection of machine learning and formal methods. The program of FoMLAS’23 consists of one tutorial, two invited talks and the main program. The main program consists of presentations of 14 accepted peer-reviewed papers. Six of these papers and an invited tutorial overview are included in these proceedings. Each submission was reviewed by at least 2 program committee members.

The workshop program features one tutorial by

Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, and Jeonghyeon Lee on "Neural Network Verification with Vehicle".

The workshop program features two invited talks by Corina Pasareanu on "Compositional Verification for Learning-Enabled Autonomous Systems" and  Stanley Bak, Christopher Brix, Taylor Johnson, Changliu Liu, and David Shriver on "The 4th International Verification of Neural Networks Competition".

We would like to thank EasyChair for their help in preparing and publishing FoMLAS’23 proceedings.