Proceedings of the First International Symposium on Algorithmic Number Theory