[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