Symposium on Abstraction, Reformulation and Approximation SARA 2002