[Agda] Agda Implementors' Meeting XXXV
oskeri at chalmers.se
Thu Apr 28 12:42:07 CEST 2022
The programme for AIM XXXV is now available on the wiki
There is still room for more talks, please send me an email if you are interested in giving one.
From: Agda <agda-bounces at lists.chalmers.se> On Behalf Of Oskar Eriksson
Sent: Monday, April 11, 2022 2:10 PM
To: agda at lists.chalmers.se
Subject: [Agda] Agda Implementors' Meeting XXXV
AIM XXXV will take place online from 2022-05-03 to 2022-05-13.
See the wiki for details:
You can register by editing the wiki page.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda