ACA 2013: Applications of Computer Algebra