<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>---------------------------------------------------------------<br>
                   Agda Implementors' Meeting XXXI<br>
                     <b>Last call</b> for participation<br>
       <a class="moz-txt-link-freetext" href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI</a><br>
      ---------------------------------------------------------------<br>
      <br>
      The 31st Agda Implementors' Meeting will take place in Edinburgh,
      Scotland from Thursday 10 November 2022 to Wednesday 16 November
      2022.<br>
      Note that AIMXXXI was initially planned for 2019 but got postponed
      due to COVID-19, whilst we had several online meetings XXXII-XXXV.<br>
      The meeting will consist of:<br>
      <br>
        * Presentations concerning theory, implementation, and use cases
      of Agda and other Agda-like languages.<br>
      <br>
        * Discussions around issues related to the Agda language.<br>
      <br>
        * Plenty of time to work in, on, under or around Agda, in
      collaboration with other participants.<br>
      <br>
      Unfortunately, the EuroProofNet day we initially planned has been
      cancelled.<br>
      <br>
      <b>Registration deadline (extended): October 21st</b><br>
      <br>
      To register for AIM XXXI, please fill out the form below and send
      it to Orestis Melkonian by email
      <a class="moz-txt-link-rfc2396E" href="mailto:orestis.melkonian@ed.ac.uk"><orestis.melkonian@ed.ac.uk></a>, or simply edit the AIMXXI wiki
      page yourself.<br>
      <br>
      >
      ---------------------------------------------------------------<br>
      > Registration form for Agda Implementors' Meeting XXXI<br>
      ><br>
      > Name:<br>
      ><br>
      > Title and optionally abstract (if you want to give a talk or
      lead a discussion):<br>
      ><br>
      > Suggestions for code sprints (optional):<br>
      ><br>
      > Dietary restrictions:<br>
      ><br>
      > Additional comments:<br>
      ><br>
      >
      ---------------------------------------------------------------<br>
      <br>
      More information is available at<br>
      <br>
        <a class="moz-txt-link-freetext" href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI</a><br>
      <br>
      Please spread the word about this meeting.<br>
      <br>
      Best regards,<br>
      Orestis<br>
    </p>
  </body>
</html>