[Agda] (no subject)
KINOSHITA Yoshiki
yoshiki at m.aist.go.jp
Mon Jan 4 03:15:54 CET 2010
Happy New Year!
I have just fixed the AIMXI registration e-mail address
(aim11 at m.aist.go.jp); it used to refuse mails from anyone except me!
It now becomes much friendlier and accepts mails from everyone.
If you tried to register during the Christmas / new year holiday and
got a bouncing, please try it again now. I am sorry for
any inconvenience.
Yoshiki.
========================================================================
============================
Call for Participation
Agda Implementors Meeting XI
============================
The Agda Implementors Meetings have been held twice a year in
principle since 2004. The AIM meetings are really "Agda Users and
Implementors Meetings," that is, meetings where Agda users and
implementors get together and exchange ideas, write Agda code, while
simultaneously implementors work on modifications of the Agda system.
The AIM meeting usually consists of talk and code sprint sessions.
Talks are invited by the organizer, and all participants are expected
to propose his/her own project for a code sprint session.
At the start of AIM, the participants get together and are expected to
participate in projects they wish to take a part in. Then it is discussed
which project to start. A short meeting is held at the end of every
day so that each project reports its progress. A longer meeting is
held at the end of the whole AIM to summarise the result and future of
the project.
Everyone who is seriously interested in Agda, not only implementors
but those who are willing to write code in Agda or documentation about
Agda is welcome to the meeting. They are expected to make a
constructive contribution to the code sprint.
- Important Dates:
Hotel registration (reduced rate): (Tue) 23 February, 2010
Participation registration: (Fri) 12 March, 2010
Meeting: (Wed) 24 - (Tue) 30 March, 2010
- Meeting Date: (Wed) 24 - (Tue) 30 March, 2010
- Deadline of participation application: (Fri) 12 March, 2010.
- Venue: Awaji Yumebutai International Conference Centre
http://www.yumebutai.org/english/index.html
- Organizer: AIST
- Access to Awaji:
See http://www.yumebutai.org/english/index.html (English)
or http://www.yumebutai.org/ (Japanese)
Some advice to people who arrive by international flights:
Closest international airport is Kansai International Airport
(KIX). From Kansai airport, take a limousine bus to Sannomiya
Station, change to a local bus to Awaji Yumebutai, as depicted in
the above URL.
Alternatively, you can land at Narita International Airport (NRT)
or Central Japan International Airport (NGO). Find the way by
yourself from either airport to Sannnomiya Station, then follow
the above instruction. Send any inquiries to aim11 at m.aist.go.jp .
WARNING: Please be advised to change the currency before arriving
at the conference centre; probably at the airport or in a large
city like Osaka, Kobe or Tokyo. The conference centre is not in
town and there are no banks or post offices nearby where one can
exchange currency.
- Registration
Participants are requested to make TWO registrations: one for the
meeting and the other for the hotel.
* Hotel registration
Awaji Westin Hotel is located next to the conference center and we
have tentative booking for 40 persons. We recommend participants to
stay in the hotel, as the area is rather rural and there are no
other accommodations within at least 1km from the conference center.
Moreover, the public transportation is not frequent.
The participants are expected to contact Awaji Westin Hotel
directly, notifying that he/she is to attend AIM XI meeting by
filling the application form attached to this message and sending
it to sls-osk at westin-awaji.com before 23 February, 2010. Early
registration is recommended as the number of the hotel rooms are
limited.
The special rate of Awaji Westin Hotel for the conference
participants is:
13,500 yen per night, including breakfast, service charge and tax.
URL: http://www.westin-awaji.com/en/index.html
* Meeting registration
To register for the meeting, send the Meeting Registration Form
attached to this message to aim11 at m.aist.go.jp before Friday 12
March, 2010.
The registration fee is the following, and will be collected on
site at the reception by JPY (Japanese Yen).
- Meals (Lunches and Suppers for weekdays) 14,000 JPY
- Excursion and dinner 7,000 JPY
- Cultural Experience (tea ceremony) 4,000 JPY
- Excursion: Himeji castle.
An excursion to Himeji castle and dinner is planned on Saturday, 27
March. It costs 7,000 yen per person, as written above. The main
tower of the castle was built in 16th century, and is now a Japan's
national treasure as well as one of world heritage. Because of its
beautiful white main tower, it is also called the "heron castle."
After April 2010, we cannot see its whole figure for several years
because of a big maintainance work.
URL of Himeji castle:
English http://www.city.himeji.lg.jp/foreigner/en.html
Japanese http://www.city.himeji.lg.jp/guide/castle/
Chinese http://www.city.himeji.lg.jp/foreigner/ch.html
- Cultural experience: Tea ceremony.
The conference centre has a special room for tea ceremony, designed
by Tadao Ando, one of the leading contemporary architects who also
designed the buildings of the whole area. We invite a master of tea
ceremony and enjoy Japanese traditional tea ceremony with 'ousu'
(meaning 'thin tea' although it is much stronger than English tea!)
and Japanese sweet. It costs 4,000 yen per person.
- AIM XI Program (Tentative):
(Wed) 24 March
9:00 discussion and organisation of code / documentation sprint
10:00 talk 1
11:00 talk 2
12:00 lunch
13:30 talk 3
14:30 talk 4
15:30 talk 5
16:30 wrap-up meeting.
18:00 Supper
(Thu) 25 March
9:00 talk 6
10:00 talk 7
11:00 talk 8
12:00 lunch
13:30 code sprint
17:00 wrap-up meeting
18:00 Supper
(Fri) 26 March
9:00 code sprint
12:00 lunch
13:30 code sprint
17:00 wrap-up meeting
18:00 Supper
(Sat) 27 March
Excursion to Himeji Castle
9:00 leave the hotel
18:00 Dinner at Sannomiya, city centre of Kobe
(Sun) 28 March
Cultural Experience
14:00 tea ceremony
(Mon) 29 March
9:00 code sprint
12:00 lunch
13:30 code sprint
17:00 wrap-up meeting
18:00 Supper
(Tue) 30 March
9:00 code sprint
12:00 lunch
13:00 code sprint
15:00 final wrap-up meeting
=======cut=here=========================cut=here========================
AIM 11(Agda Implementor's Meeting) HOTEL REGISTRATION FORM
Fill in and send this form to sls-osk at westin-awaji.com
before 23 February
to get the Special Rate (Breakfast and Tax included) of
Single: 13,500 JPY per room
TWIN/Double: 18,000 JPY per room (9,000 JPY per person)
TRILLE: 22,500 JPY per room (7,500 JPY per person)
* cancellation made within 7 day peior to your arrival will be subject
to the applicable charge
* Check-in: 3:00 p.m., Check-out: 11:00 a.m.
* Please note that there is no Bank or ATM in the hotel, although you
can make a payment to the hotel with a credit card.
* Be advised to exchange your money at the airport.
Title: (retain the appropriate) Prof. Dr. Mr. Ms.
First Name:
Middle Name:
Family Name:
Organisation:
E-mail address:
Phone:
Fax:
Room Type: (retain the appropriate)
1 person Single
2 persons Twin
2 persons Double
3 person Triple
Check-in Date:
Check-out Date:
Comment (Names of Room Partners, Non-Smoking request, etc.):
=======cut=here=========================cut=here========================
MEETING REGISTRATION FORM
Fill in and send this form to aim11 at m.aist.go.jp before 12 March
Given Name:
Middle Name:
Family Name:
Organisation:
E-mail address:
Your Dietary Condition:
Participation to Excursion and Dinner: YES / NO
Participation to Cultural Experience: YES / NO
Your Experience with Agda and other proof assistants:
Your proposal of Code Sprint / Documentation Sprint:
========================================================================
More information about the Agda
mailing list