[Agda] Agda Implementors' Meeting XXXV

[Oskar Eriksson]

The programme for AIM XXXV is now available on the wiki
  https://wiki.portal.chalmers.se/agda/Main/AIMXXXV

There is still room for more talks, please send me an email if you are interested in giving one.

---
Best regards,
Oskar

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:
  https://wiki.portal.chalmers.se/agda/Main/AIMXXXV

You can register by editing the wiki page.

---
Best regards,
Oskar

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20220428/3616a550/attachment.html>