MANIFESTO FOR APPLICABLE FORMAL METHODS

In the interactive discussion session at the end of the workshop, we will introduce and discuss a novel manifesto. A draft of this manifesto is now available on arXiv.

If you are an attendee of our workshop, please, do consider reading it as a preparation for the discussion session. We are looking forward to stimulating your interest and receiving your feedback. If you are interested in getting a signatory of the manifesto then you can fill out a signatory form (a link will be published soon).

Big thanks to all contributors and attendees of this first issue of AppFM for great contributions and a pleasant workshop experience.