Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41