OASIcs, Volume 33, ATMOS 2013