[Agda] Re: CFP: AIM XVII in Shonan, Japan
木下 佳樹
yiu44433 at nifty.com
Wed Apr 17 13:21:29 CEST 2013
Dear all,
It is less than a month later that AIM XVII in Shonan will start.
Please fill in the reservation form (EXCEL form is attached, too)
and send it to matsumoto at shonan-village.co.jp if you have
not done it and intend to participate.
Meanwhile, send me (Yoshiki, yiu44433 at nifty.com)
any inquiry as for AIM XVII.
Best wishes
Yoshiki.
On 2013/03/16, at 18:53, 木下 佳樹 <yiu44433 at nifty.com> wrote:
> 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
> ************************************************************************
> (It would save our work if you use the equivalent EXCEL form attached in this mail.)
> Please fill in this application form and send it to
> Mr. Kei Matsumoto by Emailc
>
> (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
>
> (n) 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
>
-------------- next part --------------
Skipped content of type multipart/mixed
More information about the Agda
mailing list