OASIcs, Volume 42, ATMOS 2014