LIPIcs, Volume 94, ITCS 2018