OASIcs, Volume 12, ATMOS 2009