OASIcs, Volume 37, SCOR 2014