Algorithmic Number Theory Symposium