Proceedings of the 4th International Symposium on Algorithms and Computation