ANTS IV: The Fourth Algorithmic Number Theory Symposium