OASIcs, Volume 22, SCOR 2012