45th ICALP 2018: Prague, Czech Republic