OASIcs, Volume 25, ATMOS 2012