6th International Conference on Integrated Formal Methods Conference