Contributions are selected based on their extent to which they address one or more of the principles of the Manifesto for Applicable Formal Methods.