This site contains only the published proceedings of the conference. For information about the SARA symposia, please see logic.stanford.edu/sara2011/.
Home >
Symposium on Abstraction, Reformulation, and Approximation >
Ninth Symposium of Abstraction, Reformulation, and Approximation >
Overview