[Agda] Date of AIM XVII fixed: 2013.5.8 - 5.14
KINOSHITA Yoshiki
yoshiki-ml at aist.go.jp
Fri Oct 5 17:43:13 CEST 2012
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-
More information about the Agda
mailing list