[Agda] AIM XI First Call for Participation

KINOSHITA Yoshiki yoshiki at m.aist.go.jp
Tue Dec 22 09:11:12 CET 2009


		     ============================
			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========================

		       HOTEL REGISTRATION FORM

Fill 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 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