Informal Working Group on Validated Methods for Optimization