LIPIcs, Volume 64, ISAAC 2016