<div dir="ltr"><span style="font-size:13px;line-height:19.5px">The early registration deadline for AIM XXIII is on Friday this week. After this the registration fee will double. (Fortunately 2 * 0 GBP = 0 GBP even definitionally.)</span><div style="font-size:13px;line-height:19.5px"><br></div><div style="font-size:13px;line-height:19.5px">More seriously we would appreciate if people who plan to come would fill in the google form earlier rather than later, so that we can plan accordingly.</div><div style="font-size:13px;line-height:19.5px"><br></div><div style="font-size:13px;line-height:19.5px"><a href="http://goo.gl/forms/OZy97PUInF" rel="noreferrer" target="_blank">http://goo.gl/forms/OZy97PUInF</a><br></div><div style="font-size:13px;line-height:19.5px"><br></div><div style="font-size:13px;line-height:19.5px">Best Regards,</div><div style="font-size:13px;line-height:19.5px"><br>Fredrik, James, and Conor</div><br><div class="gmail_quote"><div dir="ltr">On Mon, 25 Jan 2016 at 12:00 Fredrik Nordvall Forsberg <<a href="mailto:fredrik.nordvall-forsberg@strath.ac.uk">fredrik.nordvall-forsberg@strath.ac.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> ---------------------------------------------------------------<br>
Agda Implementors' Meeting XXIII<br>
Call for participation<br>
<a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIII" rel="noreferrer" target="_blank">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIII</a><br>
---------------------------------------------------------------<br>
<br>
The twenty-third Agda Implementors' Meeting will be held at the<br>
University of Strathclyde in Glasgow, Wednesday 20 April to Tuesday<br>
26 April 2016. Everyone with a genuine interest in Agda is invited<br>
to attend. The meeting will be similar to previous ones:<br>
<br>
* Presentations concerning theory, implementation, and<br>
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<br>
collaboration with other participants.<br>
<br>
To register for AIM XXIII, please fill out this form:<br>
<br>
<a href="http://goo.gl/forms/OZy97PUInF" rel="noreferrer" target="_blank">http://goo.gl/forms/OZy97PUInF</a><br>
<br>
The (soft) registration deadline is 4 April 2016.<br>
<br>
For preliminary information (more appearing later), please visit<br>
<br>
<a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIII" rel="noreferrer" target="_blank">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIII</a><br>
<br>
Best Regards,<br>
<br>
Fredrik, James, Guillaume, and Conor<br>
<br>
--<br>
Fredrik Nordvall Forsberg,<br>
Department of Computer and Information Sciences,<br>
University of Strathclyde.<br>
The University of Strathclyde is a charitable body, registered in<br>
Scotland, with registration number SC015263.<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div></div>