39th Agda Implementor's Meeting (AIM XXXIX) 25-30 Nov 2024 in Gothenburg
Andreas Abel <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <[email protected]> |
----------------------------------------------------------------------
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
[email protected]
http://www.cse.chalmers.se/~abela/
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.