[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