[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

(Kinoshita is my family name)
National Institute of Advanced Industrial Science and Technology (AIST)
3-11-46 Nakoji
Hyogo 661-0974
yoshiki-ml at aist.go.jp

More information about the Agda mailing list