[Agda] Announcement: Agda Intensive Meeting (AIM) XIV

[KINOSHITA Yoshiki]

Dear all,

here is information about Agda Intensive Meeting XIV, the nest AIM.
More information can be found in the WIKI page.

IMPORTANT:
please write to the organisers (makoto.takeyama at aist.go.jp or
yoshiki at m.aist.go.jp) if you wish to attend and have not r
received an invitation letter.
 
This is important because AIM XIV will be held as one of Shonan Seminar series
 organised
by NII (National Institute of Informatics), it will be "invitation basis," whi
ch
means ONLY invited people are expected to attend.  Upon your writing to the or
ganisers,
they can ask NII to send an invitation letters to you.

Date:
  Wed. 7 ?  Wed. 14 September, 2011.
  Arrival on 7
  The meeting starts on Thu. 8 Sep. in the morning
  Joint with DTP on Wed. 14.
Place:
  Shonan village, Japan
Held as one of “NII Shonan Seminars”
  Therefore, there is support from National Institute of Informatics (NII) (re
duction
  of accommodation rate).

木下佳樹