<p class="MsoNormal"><span><span lang="EN-US">Dear Dr. Nicolas Pouillard and Dr.</span></span><span lang="EN-US"><span> Daniel Gustafsson,</span></span></p><p class="MsoNormal"><br></p><p class="MsoNormal">
I&#39;m Rika Gotoh, assistant to Dr. Kinoshita at AIST.<br><span lang="EN-US"><span></span></span></p><p class="MsoNormal"><span lang="EN-US"><span>This is to inform you of the registration for Dr. Kinoshita to attend AIM XVI in Copenhagen according to the form previously mentioned:</span></span></p>



<p class="MsoNormal"><span lang="EN-US"><span><br></span></span></p>

Name: Yoshiki Kinoshita<br>
Affiliation: Advanced Industrial Science and Technology (AIST)<br>
email: <a href="mailto:yoshiki-ml@aist.go.jp">yoshiki-ml@aist.go.jp</a><br>
Program: not particular <br><br><br>Best regards,<br>Rika<br><br>------<br>Rika Gotoh<br><br>Research Institute for Secure Systems<br>Advanced Industrial Science and Technology (AIST)<br>3-11-46 Nakoji, Amagasaki-shi<br>

Hyogo, 661-0974, Japan<br><br>Fixed Phone: <a href="tel:%2B81-6-6494-7862" value="+81664947862" target="_blank">+81-6-6494-7862</a><br>
Mobile Phone: 080-4372-9641<br>E-mail: <a href="mailto:rika.gotoh@aist.go.jp" target="_blank">rika.gotoh@aist.go.jp</a><br><br><br><div class="gmail_quote">2012/8/24 Nicolas Pouillard <span dir="ltr">&lt;<a href="mailto:nicolas.pouillard@gmail.com" target="_blank">nicolas.pouillard@gmail.com</a>&gt;</span><br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

[We apologize for multiple copies]<br>
<br>
Hello,<br>
<br>
This is a reminder that the next instance of AIM approaches.<br>
<br>
It will be held at ITU in Copenhagen from October 3 to October 9.<br>
<br>
Registration is still open and it is now a good time propose talks<br>
and code sprint ideas.<br>
<br>
Everyone with a genuine interest in Agda is invited<br>
to attend. The meeting will be similar to previous ones:<br>
<br>
 * Presentations concerning theory, implementation, and use cases<br>
   of Agda.<br>
<br>
 * Discussions around issues of the Agda language.<br>
<br>
 * Plenty of time to work on or in Agda, in collaboration with the<br>
   other participants.<br>
<br>
A few details can be found on the wiki page of the event:<br>
<br>
  <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXVI" target="_blank">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXVI</a><br>
<br>
including pointers to recommended accommodations.<br>
<br>
Registration<br>
------------<br>
<br>
Although no  official registration is needed,  we want to know  how many<br>
will attend. If you want to give a  talk please send us the title and an<br>
abstract.<br>
<br>
To register, please reply to us (our email is aim16 at <a href="http://xn--dia.net" target="_blank">ƛ.net</a> — or if you<br>
are not an unicode aficionado aim16 at <a href="http://xn--dia.net" target="_blank">xn--dia.net</a>), filling out the<br>
following form:<br>
<br>
---------------8&lt;----------------------------------------<br>
Name:<br>
Affiliation:<br>
email:<br>
<br>
Program:<br>
* I&#39;d like to give a talk or lead a discussion (yes/no):<br>
Title:<br>
Abstract: (optional)<br>
<br>
* Suggestion for code-sprint (optional):<br>
---------------8&lt;----------------------------------------<br>
<br>
See you in København,<br>
<span><font color="#888888"><br>
--<br>
Nicolas Pouillard<br>
Daniel Gustafsson<br>
</font></span><br>_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
<br></blockquote></div><br>