[Agda] Agda meeting 3-9 June in Gothenburg, call for participation

Andrea Vezzosi sanzhiyan at gmail.com
Mon Apr 27 19:22:55 CEST 2015


   -------------------------------------------------------------
                   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


More information about the Agda mailing list