Parador de Cardona
October 1, 2011 – October 1, 2011
The ninth Symposium on Abstraction, Reformulation and Approximation was held on July 17-18, 2011 at the Parador de Cardona in Catalonia, Spain, 60 miles Northwest of Barcelona. The symposium was colocated with the Symposium on Combinatorial Search (SoCS), which was held at the Parador de Cardona immediately before SARA.