---------------------------------------------------------------------- Agda Implementors' Meeting XXXIX Call for participation https://wiki.portal.chalmers.se/agda/Main/AIMXXXIX ---------------------------------------------------------------------- The 39th Agda Implementors' Meeting will take place in Gothenburg, Sweden, from Monday 25th to Saturday 30th November 2024. (This is our 20th anniversary of Agda meetings, the first took place in Fall 2004 in Gothenburg.) The meeting will consist of: * Presentations concerning theory, implementation, and use cases of Agda and other Agda-like languages. * Discussions around issues related to the Agda language. * Plenty of time to work in, on, under or around Agda, in collaboration with other participants. * A special session dedicated to the 20th anniversary of AIM. Attendance is free of charge, but a registration is warranted until 31st October 2024 (soft deadline). For information how to register check out https://wiki.portal.chalmers.se/agda/Main/AIMXXXIX Looking forward to seeing you in there! Andreas (on behalf of the AIM XXXIX organizing committee) -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel@gu.se http://www.cse.chalmers.se/~abela/