The proceedings volume of TIME 2017 as volume 90 of LIPIcs is officially published and available at http://www.dagstuhl.de/dagpub/978-3-95977-052-1.