OASIcs, Volume 53, CMN 2016