Proceedings of the sixth workshop on Programming languages meets program verification