[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
[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
