[TYPES] [REMINDER] Agda Intensive Meeting 16th (AIM XVI) in Copenhagen

[Nicolas Pouillard]

[We apologize for multiple copies]

Hello,

This is a reminder that the next instance of AIM approaches.

It will be held at ITU in Copenhagen from October 3 to October 9.

Registration is still open and it is now a good time propose talks
and code sprint ideas.

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.

A few details can be found on the wiki page of the event:

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

including pointers to recommended accommodations.

Registration
------------

Although no  official registration is needed,  we want to know  how many
will attend. If you want to give a  talk please send us the title and an
abstract.

To register, please reply to us (our email is aim16 at ƛ.net — or if you
are not an unicode aficionado aim16 at xn--dia.net), filling out the
following form:

---------------8<----------------------------------------
Name:
Affiliation:
email:

Program:
* I'd like to give a talk or lead a discussion (yes/no):
Title:
Abstract: (optional)

* Suggestion for code-sprint (optional):
---------------8<----------------------------------------

See you in København,

-- 
Nicolas Pouillard
Daniel Gustafsson