<div dir="ltr">Dear list members,<div><br></div><div>Here are the results of the poll organized to choose the Agda logo:</div><div><br></div><div>  <a href="https://civs.cs.cornell.edu/cgi-bin/results.pl?id=E_ce6fe5e2a518ac98">https://civs.cs.cornell.edu/cgi-bin/results.pl?id=E_ce6fe5e2a518ac98</a></div><div><br></div><div>Out of 619 allowed participants, 117 have voted.</div><div>The results are pretty clear has we have a condorcet winner.</div><div>I have not access to more details than what is available on this page.</div><div><br></div><div>Best regards,</div><div>Nicolas</div></div>