The Fifth Symposium on Abstraction, Reformulation, and Approximation (SARA-2002)