Hi, A preliminary programme for AIM XXXII can now be found on the wiki: https://wiki.portal.chalmers.se/agda/Main/AIMXXXII If you are giving a talk or leading a discussion, and the time does not work for you, please let me know. -- /NAD