Proceedings of the Second International Symposium on Algorithmic Number Theory