[TYPES/announce] Agda Implementors' Meeting XXX - Munich, 11-17 September 2019

[Chuangjie Xu]

[Apologies for multiple postings.]

    ---------------------------------------------------------------
                    Agda Implementors' Meeting XXX
                        Call for participation
     http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXX
    ---------------------------------------------------------------

The thirtieth Agda Implementors' Meeting will take place in Munich, Germany
from Wednesday 11 September 2019 to Tuesday 17 September 2019. 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 XXX, please fill out the form below and send it to
Chuangjie Xu by email <xu at math.lmu.de>.

More information is available at

   http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXX

Please spread the word about this meeting.

Best regards,
Chuangjie

-------8<-------------------------------------------------------

     Registration form for Agda Implementors' Meeting XXX

     Name:

     Title and optionally abstract (if you want to give a talk or lead  
a discussion):

     Suggestions for code sprints (optional):

     Additional comments:

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.