Abstract

The Fourth Symposium on Abstraction, Reformulation, and Approximation (SARA) took place at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, from 26 to 29 July 2000. The talks at the conference captured a cross section of application domains and included invited talks and two panels.