[Agda] Date of AIM XVII fixed: 2013.5.8 - 5.14

[KINOSHITA Yoshiki]

Dear all,

I am happy to announce AIM XVII, the next AIM,
has just been decided to be held
from Wednesday 8 May
to Tuesday 14 May, 2013
somewhere in Japan.

The place will be announced later, but please check
and mark your calendar!

While ago, I tried to choose the date in Sakura (cherry
blossom) season, but there was too much conflict and
I had to abandon the idea of having the meeting under
Sakura.

Yoshiki.
-- 
KINOSHITA, Yoshiki
(Kinoshita is my family name)
National Institute of Advanced Industrial Science and Technology (AIST)
3-11-46 Nakoji
Amagasaki
Hyogo 661-0974
Japan
yoshiki-ml at aist.go.jp
+81-6-