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

KINOSHITA Yoshiki yiu44433 at nifty.com
Tue Apr 12 15:51:39 CEST 2011


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).

木下佳樹



More information about the Agda mailing list