Proceedings of the 4th international conference on Reachability problems