The EAGLES Formalisms Working Group - Final Report