<div dir="ltr"><div id="m_9065690799753328986gmail-magicdomid595" style="margin:0px;padding:0px;font-family:"Helvetica Neue",Arial,sans-serif;color:rgb(0,0,0);font-size:15px"><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px"><div id="gmail-m_9065690799753328986gmail-magicdomid598" style="margin:0px;padding:0px"><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px">Dear all,</span></div><div id="gmail-m_9065690799753328986gmail-magicdomid82" style="margin:0px;padding:0px"><br style="margin:0px;padding:0px;font-family:inherit"></div><div id="gmail-m_9065690799753328986gmail-magicdomid606" style="margin:0px;padding:0px"><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px">At the current Agda meeting in Munich (AIM XXX), I have been tasked to conduct a poll aiming at selecting </span><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px">a logo for Agda.</span></div><div id="gmail-m_9065690799753328986gmail-magicdomid238" style="margin:0px;padding:0px"><br style="margin:0px;padding:0px;font-family:inherit"></div><div id="gmail-m_9065690799753328986gmail-magicdomid342" style="margin:0px;padding:0px"><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px">Here is the list of proposed logos so far:</span></div><div id="gmail-m_9065690799753328986gmail-magicdomid293" style="margin:0px;padding:0px"><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px">    </span><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px"><a href="https://wiki.portal.chalmers.se/agda/pmwiki.php?n=AIMXXIII.LogoCompetition" style="margin:0px;padding:0px;font-family:inherit;white-space:pre-wrap" target="_blank">https://wiki.portal.chalmers.se/agda/pmwiki.php?n=AIMXXIII.LogoCompetition</a></span></div><div id="gmail-m_9065690799753328986gmail-magicdomid224" style="margin:0px;padding:0px"><br style="margin:0px;padding:0px;font-family:inherit"></div><div id="gmail-m_9065690799753328986gmail-magicdomid615" style="margin:0px;padding:0px"><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px">If you have any last minute proposal you have until Saturday noon (12:00 CEST) to add them to this wiki page.</span></div><div id="gmail-m_9065690799753328986gmail-magicdomid617" style="margin:0px;padding:0px"><br style="margin:0px;padding:0px;font-family:inherit"></div><div id="gmail-m_9065690799753328986gmail-magicdomid731" style="margin:0px;padding:0px"><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px">Note that a preselection may be performed before launching the poll (e.g., to filter out Agdy McAgdaface proposals).</span></div><div id="gmail-m_9065690799753328986gmail-magicdomid451" style="margin:0px;padding:0px"><br style="margin:0px;padding:0px;font-family:inherit"></div><div id="gmail-m_9065690799753328986gmail-magicdomid566" style="margin:0px;padding:0px"><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px">Saturday afternoon you will receive another email with the details of the poll.</span></div><div id="gmail-m_9065690799753328986gmail-magicdomid568" style="margin:0px;padding:0px"><br style="margin:0px;padding:0px;font-family:inherit"></div><div id="gmail-m_9065690799753328986gmail-magicdomid580" style="margin:0px;padding:0px"><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px">Best regards,</span></div><div id="gmail-m_9065690799753328986gmail-magicdomid595" style="margin:0px;padding:0px"><span style="margin:0px;padding:1px 0px;font-family:inherit;border-bottom:0px">Nicolas Pouillard</span></div></span></div></div>