OASIcs, Volume 14, ATMOS 2010