[Agda] Call for participation: Agda Implementors' Meeting XXIII
at Strathclyde, 20--26 April 2016
James Chapman
james.chapman at strath.ac.uk
Tue Mar 8 12:31:18 CET 2016
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.)
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.
http://goo.gl/forms/OZy97PUInF
Best Regards,
Fredrik, James, and Conor
On Mon, 25 Jan 2016 at 12:00 Fredrik Nordvall Forsberg <
fredrik.nordvall-forsberg at strath.ac.uk> wrote:
> ---------------------------------------------------------------
> Agda Implementors' Meeting XXIII
> Call for participation
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIII
> ---------------------------------------------------------------
>
> The twenty-third Agda Implementors' Meeting will be held at the
> University of Strathclyde in Glasgow, Wednesday 20 April to Tuesday
> 26 April 2016. Everyone with a genuine interest in Agda is invited
> to attend. The meeting will be similar to previous ones:
>
> * Presentations concerning theory, implementation, and
> use cases of Agda and other Agda-like languages.
>
> * Discussions around issues related to the Agda language.
>
> * Plenty of time to work in, on, under or around Agda, in
> collaboration with other participants.
>
> To register for AIM XXIII, please fill out this form:
>
> http://goo.gl/forms/OZy97PUInF
>
> The (soft) registration deadline is 4 April 2016.
>
> For preliminary information (more appearing later), please visit
>
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIII
>
> Best Regards,
>
> Fredrik, James, Guillaume, and Conor
>
> --
> Fredrik Nordvall Forsberg,
> Department of Computer and Information Sciences,
> University of Strathclyde.
> The University of Strathclyde is a charitable body, registered in
> Scotland, with registration number SC015263.
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160308/72a3663a/attachment.html
More information about the Agda
mailing list