Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (2017)