OASIcs, Volume 54, ATMOS 2016