David Savourey and Leo Liberti announced the new ROSE (Reformulation/Optimization Software Engine) project. ROSE is an automatic reformulation software for mathematical programs. ROSE works either stand-alone (mostly for debugging purposes) or as an AMPL solver. As AMPL is very much closed-source and has no facilities for editing a “structured formulation” (i.e. a formulation involving indices and quantifiers) in memory, ROSE writes its output (usually a reformulated version of the mathematical programming formulation given in input) as a text file. This may be an input to further processing software (such as a numerical solver), or a “flat formulation” (i.e. a formulation without indices where all the parameter symbols have been replaced by numerical data) again in AMPL format. More information can be found on the ROSE project page.