Such are the perils of organizing a conference.
This is the ?rst SARA for which the proceedings have been published in the LNAI series of Springer-Verlag. The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26â 29, 2000, just prior to the AAAI 2000 conference in Austin. Abstractions, reformulations, and approximations (AR&A) have found - plications in a variety of disciplines and problems including automatic progr- ming, constraint satisfaction, design, diagnosis, machine learning, planning, qu- itative reasoning, scheduling, resource allocation, and theorem proving.