Proceedings of the 2nd Irish conference on Formal Methods