Hi all, I guess there is not Agda AIM meeting planned in Autumn? Usually a AIM meeting takes place in September or October. I checked the mailing list and also the wiki to be sure. So is it true? Best, Stephan