Practical (in English)

Language

Talks in English are most welcome, although some other talks can be in Japanese. The invited tutorial (on game semantics by Takeshi Tsukada, U Tokyo) will also be in Japanese.

Venue

Room 111, RIMS, Kyoto University. Access
  • If you are from Kyoto Station: the fastest way is to get a metro to Imadegawa Station and then change to bus No. 203 eastbound. 

Dates

Tue 24 Sep (morning) - Thu 26 Sep (late afternoon)
  • Can be shorter depending on the number of talks

Accommodation

  • A limited number (5 or so) of rooms at the RIMS accommodation "Kitashirakawa-Gakusha" are available. Info: EN, JP. Indicate if you need one in the registration form; we'll make a reservation for you.
  • Hotels: check this out

Travel Support

There are some funding by courtesy of RIMS, Kyoto University.
  • Only domestic trips (i.e. from within Japan) are eligible.
  • The budget is limited; we may not be able to fund all those who wants the travel support. 
  • Please indicate in the registration form if you need this.

Registration

Use this form. The registration deadlines are:
  • *** Fri 16 Aug *** if you'd like travel support or a room at the RIMS accommodation (but do it ASAP since these are first come, first served);
  • *** Fri 13 Sep *** otherwise.

Organizers

Naohiko Hoshino (RIMS, Kyoto U.), Ichiro Hasuo (Dept. CS, U. Tokyo)

Comments
Anonymous
Comment
Cancel
You do not have permission to add comments.