<div dir="ltr"><div dir="ltr"><div><font face="monospace, monospace">   ---------------------------------------------------------------</font></div><div><font face="monospace, monospace">                  Agda Implementors' Meeting XXVIII</font></div><div><font face="monospace, monospace">                    Second call for participation</font></div><div><font face="monospace, monospace">   <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXVIII">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXVIII</a></font></div><div><font face="monospace, monospace">   Travel recommendations available at this address!</font></div><div><font face="monospace, monospace">   ---------------------------------------------------------------</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">The twenty-eighth Agda Implementors' Meeting will take place at the</font></div><div><font face="monospace, monospace">University of Nottingham, UK </font></div><div><font face="monospace, monospace">from </font></div><div><font face="monospace, monospace">     15 October 2018 (Monday)</font></div><div><font face="monospace, monospace">to</font></div><div><font face="monospace, monospace">     20 October 2018 (Saturday).</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">The meeting will be similar to previous ones:</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  * Presentations concerning theory, implementation, and</font></div><div><font face="monospace, monospace">    use cases of Agda and other Agda-like languages.</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  * Discussions around issues related to the Agda language.</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">  * Plenty of time to work in, on, under or around Agda, in</font></div><div><font face="monospace, monospace">    collaboration with other participants.</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">To register for AIM XXVIII, please fill out the form below and send</font></div><div><font face="monospace, monospace">it to me (Nicolai) by email, nicolai.kraus at <a href="http://nottingham.ac.uk">nottingham.ac.uk</a> (or</font></div><div><font face="monospace, monospace"><a href="http://gmail.com">gmail.com</a>).</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Further information is available at </font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace"><a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXVIII">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXVIII</a></font></div><div><font face="monospace, monospace"><br></font></div><div><span style="font-family:monospace,monospace">Please spread the word about this meeting.</span><br></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Best Regards,</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Nicolai</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">-------8<--------------------------------------------------</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Registration form (send it to Nicolai Kraus <nicolai.kraus </font></div><div><font face="monospace, monospace">at <a href="http://nottingham.ac.uk">nottingham.ac.uk</a>>) Agda Implementors' Meeting XXVI</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Name:</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Title and optionally abstract (if you want to give a talk </font></div><div><font face="monospace, monospace">or lead a discussion; optional):</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Suggestions for code sprints (optional):</font></div><div><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace">Other remarks (optional):</font></div><div><br></div></div></div>