LIPIcs, Volume 103, SEA 2018