AIM XXXII takes place online from 2020-05-25 to 2020-06-05. See the wiki for details: https://wiki.portal.chalmers.se/agda/Main/AIMXXXII You can register by editing the wiki page. -- /NAD