[Agda] Re: Call for participation: Agda Implementors' Meeting XXIII at Strathclyde, 20--26 April 2016

Fredrik Nordvall Forsberg fredrik.nordvall-forsberg at strath.ac.uk
Mon Apr 4 16:51:01 CEST 2016


Dear all,

A gentle reminder that the soft registration deadline for AIM at 
Strathclyde is today. Please register using the form

    http://goo.gl/forms/OZy97PUInF

We are also pleased to announce that the Scottish Informatics and 
Computer Science Alliance has generously agreed to support the meeting, 
with the practical outcome that coffee and lunch will be provided.

Looking forward to seeing many of you in Glasgow!

With best wishes,
Fredrik, James, and Conor

On 25/01/16 13:00, I 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


More information about the Agda mailing list