[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