<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>