The EvAAL 2013 proceedings have been published by Springer in the Communications in Computer and Information Science (CCIS) series in the volume CCIS 386.