[TYPES/announce] 39th Agda Implementor's Meeting (AIM XXXIX) 25-30 Nov 2024 in Gothenburg

[Andreas Abel]

----------------------------------------------------------------------

               Agda Implementors' Meeting XXXIX

                    Call for participation

     https://urldefense.com/v3/__https://wiki.portal.chalmers.se/agda/Main/AIMXXXIX__;!!IBzWLUs!Vf9x9_T84u4ngpw-e-4ZwppyqiFB5R8kxUZrCUqi9dMz3Y6DjG7S-94wkJFj2INWQbs8zmv5uTlPlN4LPdCpv7KRPTv1plLmfLSlaMJy$ 

----------------------------------------------------------------------

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://urldefense.com/v3/__https://wiki.portal.chalmers.se/agda/Main/AIMXXXIX__;!!IBzWLUs!Vf9x9_T84u4ngpw-e-4ZwppyqiFB5R8kxUZrCUqi9dMz3Y6DjG7S-94wkJFj2INWQbs8zmv5uTlPlN4LPdCpv7KRPTv1plLmfLSlaMJy$ 

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 at gu.se
https://urldefense.com/v3/__http://www.cse.chalmers.se/*abela/__;fg!!IBzWLUs!Vf9x9_T84u4ngpw-e-4ZwppyqiFB5R8kxUZrCUqi9dMz3Y6DjG7S-94wkJFj2INWQbs8zmv5uTlPlN4LPdCpv7KRPTv1plLmfAGmNmM4$