WikiSym + OpenSym 2013 General Call for Submissions (Papers)