OASIcs, Volume 38, SLATE 2014