OASIcs, Volume 17, KiVS 2011