44. ICALP 2017: Warsaw, Poland