OASIcs, Volume 20, ATMOS 2011