Announcing the Theme of the 2018 ICFP