LIPIcs, Volume 46, OPODIS 2015