[TYPES/announce] Agda Implementors' Meeting XXVIII - Nottingham, October 15-20

[Nicolai Kraus]

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

The twenty-eighth Agda Implementors' Meeting will take place at the
University of Nottingham, UK
from
     15 October 2018 (Monday)
to
     20 October 2018 (Saturday).

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 XXVIII, please fill out the form below and send
it to me (Nicolai) by email, nicolai.kraus at nottingham.ac.uk (or
gmail.com).

Further information is available at

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

I will shortly add travel recommendations.

Please spread the word about this meeting.

Best Regards,

Nicolai

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

Registration form (send it to Nicolai Kraus <nicolai.kraus
at nottingham.ac.uk>) Agda Implementors' Meeting XXVI

Name:

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

Suggestions for code sprints (optional):

Other remarks (optional):
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180814/9bdff5b0/attachment.html>