[Agda] CFP: AIM XVII in Shonan, Japan

[木下 佳樹]

Dear all,

we are ready at last to accept bookings for participation/accommodation
for AIM XVII.

AIM XVII will take place in Shonan OVA (http://www.shonan-ova.jp) in
Shonan Kokusai Village, Kanagawa, Japan.

To book your room in Shonan OVA (http://www.shonan-ova.jp) for AIM XVII,
please fill in the application form attache at the last of this letter
and send it to Mr. Kei Matsumoto by Email (matsumoto at shonan-village.co.jp).

Organiser of AIM XVII:
Yoshiki Kinoshita
Department of Information Sciences,
Kanagawa University
yiu44433 at nifty.com


************************************************************************
Call for Participation: Agda Intensive Meeting (AIM) XVII
************************************************************************
(A) Venu

AIM XVII will be held in Shonan OVA.  It is close to Shonan
Kokusai-mura (International Village) Center,
where AIM XV took place, but in a different building.

Shonan OVA is located in Shonan International Village (湘南国際村), an
area on a hill from which one can see the Mt. Fuji over the sea
(Sagami-wan gulf) if the air is clean.  There are few shops nearby;
there is a convenience store Family Mart that is 200m from Shonan OVA;
there is a small restaurant in 10 minutes walk down the hill and two
other restaurants at 10 minutes walk to the other direction.  So, we
recommend the participant to book all the meals at the accommodation
during her/his stay.

Unlike Shonan Kokusaimura Centre, where AIM XV was held, Shoan OVA
is not a big accommodation, and we will probably be the only guests there
during AIM XVII.

************************************************************************ 
(B) Overall Schedule

Participants are expected to arrive at Shonan OVA in the afternoon of
Tuesday, 7 May.

The workshop starts in the morning of Wednesday, 8 May.

On Wednesday 8, Thursday 9, Friday 10 and Sunday 12, we expect to
have a talk or two in the morning, and have a code/documentation sprint
in the afternoon.  Note we plan to work on Sunday, as we have one day
shorter (6 days) in total than usual.

On Saturday 11, we shall have an excursion.

On Monday 13, we shall have a talk or two in the morning as usual, but
the whole afternoon is dedicated to wrap up meeting.

The whole meeting ends around 16:00 on Monday 13.

************************************************************************ 
(C) How to get there

There are several ways to get from Narita airport to Zushi station, the closest
train station from Shonan OVA.  Here is my recommendation for a person
with a big luggage (least change of trains, least distance of walk).

(1) From Narita International airport, buy a ticket with the
destination Zushi and an express ticket for NEX (Narita Express) bound
for Yokohama (横浜) or Ofuna (大船).  The ticket for Zushi costs 2,210
JPY, and the express ticket for Yokohama or Ofuna 2,290 JPY.  The
express ticket includes the fee for seat reservation, so reserve your
seat because it prevents you to sit on a wrong coach which may take
you to a completely different destination.

If you mind paying 2,290 JPY for your express ticket but do not mind
spending half an hour more, you can take at Narita airport "Kaisoku
Narita Airport (快速成田エアポート)" bound for Zushi (逗子), Yokosuka
(横須賀) or Kurihama (久里浜) station.  This one has another advantage
of having not to change at Yokohama (横浜) or Ofuna (大船), and it
goes directly to Zushi station.  All "Kaisoku Narita Airport" stops at
Zushi station.

(2) If you take NEX, then change at Yokohama (横浜) or Ofuna (大船)
to a local train in Yokosuka-line bound either for Zushi (逗子),
Yokosuka (横須賀) or Kurihama (久里浜), and get off at Zushi station.

(3) At Zushi station, take the bus 逗16 or 逗26 bound for
Shonan-kokusaimura-centre (湘南国際村センター), and get off at
Shonan-kokusaimura-makadosawa-chouseichi (湘南国際村間門沢調整池)
bus stop.  The bus fare is 320 Yen.  The bus stop is in front of a convenience
store Family Mart.  This bus line is not frequent, so you may consider
taking a taxi, which costs around 2,000 JPY from Zushi station to
Shonan OVA.

(4) The bus turns to the left after leaving the bus stop,
but you walk strait ahead for about 200m,
and you will find Shonan OVA (湘南OVA) on the right hand side.
Several palm trees are a good landmark.

************************************************************************ 
(D) Excursion to Hakone Spa Resort

On Saturday 11 May, we plan a day excursion to Hakone,
one of the most popular hot spring resort,
and visit the Spa resort "Kowakien Yunessun"
and/or "Kowakien Mori NO YU" (http://www.yunessun.com/english/);
one wears the swimming suit in Yunessun,
and one bathes naked in Mori NO YU (Japanese
traditional way of enjoying hot springs!).
You can either visit one of them or both.

It takes circa three hours from Shonan OVA to Kowakien.
We leave Shonan OVA in the morning on Saturday 11 May,
stay in Kowakien for some hours.  We plan to take dinner
in Odawara city, which was the home base of the Lord Hojo
500 years ago.

************************************************************************ 
(E) Payment

The fee for the workshop consists of
(E1) accommodation fee (bed and meals) and
(E2) miscellaneous (coffee and tea during workshop, excursion fee,
etc.).
The miscellaneous (E2) will be collected on site.

The payment of accommodation fee (E1) must be done directly to the
Shonan OVA.   They accept three ways of payment:
(Ea) payment by credit card in advance of AIMXVII
(Eb) payment by cash on site
(Ec) paymeng by bank transfer in advance of AIMXVII

The order of preference of Shonan OVA is (Ea), (Eb) and (Ec); so
please choose (Ea) if possible.

You are asked to specify the way of payment in the reservation form.
Here is the bank information, for the case you cannot avoid
choosing (Ec) (bank transfer):

  Bank of Yokohama, Zushi Branch (Branch Code 521)
  Account number: 1161902
  Address: 5-2-1 Zushi, Zushi city, Kanagawa, JAPAN
  Account holder:  Village Shonan, Inc.
  BIC: HAMAJPJT
  IBAN: Not available

END OF CFP.

--CUT-HERE-FILL-THIS-IN-AND-SEND-IT-TO-MR.MATSUMOTO--

************************************************************************ 
AIM XVII  ACCOMMODATION RESEVATION FORM
************************************************************************ 

  Please fill in this application form and send it to
  Mr. Kei Matsumoto by Email (matsumoto at shonan-village.co.jp).

(a) First Name:
(b) Middle Name:
(c) Last Name:
(d) Gender: male/femail
(e) Nationality:
(f) Affiliation:
(g) E-mail:
(h) Phone number:
(i) Home address:
(j) Method of payment (please choose):
  (1) Credit card in advance / (2) Cash on site / (3) Bank transfer
  [Shonan OVA prefers (1) and (2) to (3), so please avoid (3) if possible]
(k) In case of (j)(1), please fill in the following card information.
(k-a) Type of credit card, (VISA, Master, AMEX)
(k-b) Credit card number:
(k-c) Name of the card holder:
(k-d) Expire date:  month/year
(l) In case of (j)(3), please pay in to the account given in the Payment
section of the CFP.
(m) Order of meals and bed:
 * We recommend you to order all meals during your stay, as having meal
    together is one of the most important social activities. 
  * On Saturday 11 May, an excursion to Hakone Spa resort is planned;
    if you participate the excursion, do NOT order the lunch and dinner
    on Saturday 11 May, as we shall have them outside the accommodation.
  * The workshop dinner will be held on Saturday 11, on the way
    back from Hakone; if you take part in the workshop dinner, do NOT
    order the Sat 11 May Dinner below.
  * If you wish to stay longer, please add lines for the extra meals/beds
    by yourself.  (We cannot assure the availability of accommodation
    for longer stay.)

  Please write YES in the end of the line below for the meal / bed you
  order.

    Tue  7 May Dinner
    Tue  7 May Bed
    Wed 8 May Breakfast
    Wed 8 May Lunch
    Wed 8 May Dinner
    Wed 8 May Bed
    Thu 9 May Breakfast
    Thu 9 May Lunch
    Thu 9 May Dinner
    Thu 9 May Bed
    Fri 10 May Breakfast
    Fri 10 May Lunch
    Fri 10 May Dinner
    Fri 10 May Bed
    Sat 11 May Breakfast
    Sat 11 May Lunch [Do not order if you take part in the excursion]
    Sat 11 May Dinner [Do not order if you take part in the excursion]
    Sat 11 May Bed
    Sun 12 May Breakfast
    Sun 12 May Lunch
    Sun 12 May Dinner
    Sun 12 May Bed
    Mon 13 May Breakfast
    Mon 13 May Lunch

(m) The fee for bed and meals I pay is:  XX,XXX  JPY.  (please fill in
  the number)

  Please calculate the fee you are to pay according to the following
  list of prices:
      Breakfast: 1,200 JPY
      Lunch: 1,500 JPY
      Dinner: 2,300 JPY
      Bed overnight : 8,200 JPY