RE’20 is over. We thank everybody who contributed to the success of the conference. See you in September 2021 at RE’21 in South Bend!