Unveiling dynamics and complexity 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12 -16, 2017 : proceedings - Kari, Jarkko (Springer, 2017)