Title: Proceedings, the Eighth Symposium on Abstraction, Reformulation and Approximation (SARA 2009)