[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