[FOM] Agda Implementors' Meeting XXX - Munich, 11-17 September 2019

Chuangjie Xu xu at math.lmu.de
Wed Jul 3 05:33:37 EDT 2019

[Apologies for multiple postings.]

                    Agda Implementors' Meeting XXX
                        Call for participation

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


Please spread the word about this meeting.

Best regards,


     Registration form for Agda Implementors' Meeting XXX


     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.

More information about the FOM mailing list