International Conference on Functional Programming 2021 Daejon, South Korea with the possibility of a virtual conference https://icfp21.sigplan.org/