[Agda] Reminder: Agda meeting 3-9 June in Gothenburg,
call for participation
Andreas Abel
andreas.abel at ifi.lmu.de
Fri May 22 14:05:32 CEST 2015
Dear Agda enthusiasts,
please remember to register for the Agda meeting (deadline is today).
Cheers,
Andreas
On 27.04.2015 19:22, Andrea Vezzosi wrote:
> -------------------------------------------------------------
> Agda Implementors' Meeting XXI
> Call for participation
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXI
> -------------------------------------------------------------
>
> The twenty-first Agda Implementors' Meeting will be held in Gothenburg 3-9
> June 2015 (Wed to Tue). 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.
>
> * Discussions around issues of the Agda language.
>
> * Plenty of time to work on or in Agda, in collaboration
> with the other participants.
>
> To register for AIM XXI please fiil out this form:
>
> http://goo.gl/forms/NwKuGsU10Q
>
> The (soft) registration deadline is 22 May 2015.
>
> There is a registration fee of 1000kr (~106 EUR) which will be
> possible to pay by credit card online soon.
>
> For preliminary information (more appearing later), please visit
>
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXI
>
>
> Regards,
>
> Andrea & Chalmers Agda team
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list