The WikiSym + OpenSym 2013 proceedings have been made available online. Please see below for the table of contents, including through-clickable papers. All papers listed can be cited as appearing i…