[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:12:51 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/7cabdaa8/attachment.html


More information about the Agda mailing list