[Agda] Last minute proposals for the Agda logo

Nicolas Pouillard nicolas.pouillard+agda at gmail.com
Thu Sep 12 15:16:59 CEST 2019


Dear all,

At the current Agda meeting in Munich (AIM XXX), I have been tasked to
conduct a poll aiming at selecting a logo for Agda.

Here is the list of proposed logos so far:

https://wiki.portal.chalmers.se/agda/pmwiki.php?n=AIMXXIII.LogoCompetition

If you have any last minute proposal you have until Saturday noon (12:00
CEST) to add them to this wiki page.

Note that a preselection may be performed before launching the poll (e.g.,
to filter out Agdy McAgdaface proposals).

Saturday afternoon you will receive another email with the details of the
poll.

Best regards,
Nicolas Pouillard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190912/4c54905a/attachment.html>


More information about the Agda mailing list