Symposium on Abstraction, Reformulation, and Approximation (SARA-2000)