4th Irish Workshop on Formal Methods