Proceedings of the thirteenth Australasian symposium on Theory of computing - Volume 65