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

Rika T. Gotoh rika.gotoh at aist.go.jp
Thu Aug 30 08:18:02 CEST 2012


Dear Dr. Nicolas Pouillard and Dr. Daniel Gustafsson,


I'm Rika Gotoh, assistant to Dr. Kinoshita at AIST.

This is to inform you of the registration for Dr. Kinoshita to attend AIM
XVI in Copenhagen according to the form previously mentioned:


Name: Yoshiki Kinoshita
Affiliation: Advanced Industrial Science and Technology (AIST)
email: yoshiki-ml at aist.go.jp
Program: not particular


Best regards,
Rika

------
Rika Gotoh

Research Institute for Secure Systems
Advanced Industrial Science and Technology (AIST)
3-11-46 Nakoji, Amagasaki-shi
Hyogo, 661-0974, Japan

Fixed Phone: +81-6-6494-7862
Mobile Phone: 080-4372-9641
E-mail: rika.gotoh at aist.go.jp


2012/8/24 Nicolas Pouillard <nicolas.pouillard at gmail.com>

> [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<http://xn--dia.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
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120830/dd604f04/attachment.html


More information about the Agda mailing list