Difference between revisions of "WG211/M18Schedule"

From WG 2.11
Jump to: navigation, search
(→‎Attendance: Add Shan)
(→‎Attendance)
 
(139 intermediate revisions by 19 users not shown)
Line 1: Line 1:
 
=IFIP Working Group 2.11, Eighteenth Meeting=
 
=IFIP Working Group 2.11, Eighteenth Meeting=
−
 
−
This page is, obviously, incomplete.  As information is completed group members and visitors will be notified.
 
−
 
  
 
== June 4-7, 2018 in Kyoto, Japan. ==
 
== June 4-7, 2018 in Kyoto, Japan. ==
Line 12: Line 9:
 
=== Venue ===
 
=== Venue ===
  
−
The meeting will be held at Kyoto University.
+
The meeting will be held at Room 221, Research Build. #8, Kyoto University. (Research Build. #8 is the building numbered 59 in [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html this campus map].)  If you stay in the Hearton Hotel Kyoto, you can take a rapid bus to Kyoto Univ. at Karasuma-Oike.  Get off at either Kyoto Univ. Main Gate or Hyakumanben, which is shown on the campus map.  Or, you can walk.  It takes about 40 minutes.
 +
 
 +
On Monday, Atsushi will stop by at the Hearton Hotel Kyoto at 8am (sharp!:-) to pick up some of you to ride the 8:07 bus.  (We can arrive at the meeting room before 8:40.)
 +
 
 +
* [https://www2.city.kyoto.lg.jp/kotsu/busdia/hyperdia/053013.htm Time table of the bus]
 +
* [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html Map of the main campus of Kyoto Univ.]
 +
* [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing Google map showing restaurants for dinner and places to visit in the excursion.]
  
 
===  Travel ===
 
===  Travel ===
Line 21: Line 24:
 
The organizer will conduct a survey for those who would like to use the shuttle bus from the airport.
 
The organizer will conduct a survey for those who would like to use the shuttle bus from the airport.
  
−
You can check timetables for trains inside Japan on [http://www.jorudan.co.jp/english/ Jorudan's Norikae-Annai] or on Google Maps.
+
You can check timetables for trains inside Japan on [https://world.jorudan.co.jp/mln/en/?sub_lang=nosub Jorudan's Norikae-Annai] or on Google Maps.
 +
 
 +
 
 +
---- Arrival/Departure
 +
 
 +
* Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928
 +
* Jeremy G: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078 (staying at Palaceside Hotel)
 +
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34 -- I would like a round-trip shuttle (to/from Hearton Hotel),one piece of checked luggage
 +
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
 +
* Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078
 +
* Sandrine arr KIX 03 Jun 2018 8:35 on AF8437
 +
* Jacques arr KIX 02 Jun 2018 19:15 on OZ118; dep KIX 09 Jun 2018 17:15 on AC1952 -- I would like the shuttle (to Hearton Hotel), definitely on arrival.
 +
* Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921
 +
* Ralf L. with partner arr KIX 02 Jun 2018 (8:40 and 12:55); dep KIX 09 Jun 2018 (10:00 and 10:25) -- we stay at  Hearton Hotel Kyoto
 +
* Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078
 +
* Eelco: arr June 1 at 8:45 AM at KIX, departs June 10 at 10:25 AM from KIX (would like shuttle to AirBnB that is close to the hotel,  (〒604-0994 Kyōto-fu, Kyōto-shi, Nakagyō-ku, Kanrochō, 664 サキ ゾー甘露町ビル).
 +
* Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8  2018 15:00
 +
* Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018
 +
* Eric VW: arr KIX 02 Jun 2018 19:40 on Air Canada 6231; dep KIX 10 Jun 2018 08:10 on Nippon Airways 96 -- I would like a round-trip shuttle (to/from Hearton Hotel),
 +
* Markus: arr KIX 04 Jun 2018 7:45 on LH740
 +
* Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34
 +
* Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 -- we would like a shuttle to the Noku Kyoto Hotel, single trip, 2 persons, 1 piece check-in luggage.
 +
* Christoph: arr KIX 02 Jun 2018 at 21:45 on NH097 (after NRT 15:40 from NH232, via HND); dep KIX 10 Jun 2018 at 10:05 on LH741
 +
* Klaus arr. KIX 03 Jun 2018 08:40AM with AF292
  
 
=== Accommodation ===
 
=== Accommodation ===
  
−
Rooms have been blocked in a single, recommended hotel ([http://heartonhotel.com/kyo.aspx Hearton Hotel Kyoto]); please use the [https://va.apollon.nta.co.jp/wg211/  special booking web site].  Alternative hotels can be located [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing on this map].
+
Rooms have been blocked in a single, recommended hotel ([http://heartonhotel.com/kyo.aspx Hearton Hotel Kyoto]); please use the [https://va.apollon.nta.co.jp/wg211/  special booking web site]. If you'd like to book a room for an extra stay before/after the meeting, please contact Nippon Travel Agency Co., Ltd.  (The contact email address is in the booking web site.) Alternative hotels can be located [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing on this map].
  
 
=== Registration ===
 
=== Registration ===
  
−
Registration fee is expected to be on-par with that of previous events, and will cover all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).
+
Registration fee is 33,000 JPY, which covers all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).
 +
At [https://va.apollon.nta.co.jp/wg211/ the registration site], there is an option for your family: 28,000 JPY for everything but refreshments and lunch (during the meeting).
  
 
== Attendance ==
 
== Attendance ==
Line 35: Line 62:
 
Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.
 
Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.
  
−
Sandrine Blazy, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Julia Lawall, Christian Lengauer, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Eric Van Wyk
+
Adam Barwell (guest),
 +
Sandrine Blazy,  
 +
Jacques Carette,
 +
Shigeru Chiba,
 +
Jeremy Gibbons,  
 +
Robert Glück,  
 +
Kevin Hammond,  
 +
Atsushi Igarashi,  
 +
Yukiyoshi Kameyama,
 +
Oleg Kiselyov,
 +
Ralf Lämmel,
 +
Julia Lawall,  
 +
Christian Lengauer,  
 +
Peter Mosses (not Thursday),
 +
Klaus Ostermann,
 +
Markus Püschel,
 +
Christoph Reichenbach,
 +
Tiark Romph,
 +
Sven-Bodo Scholz,
 +
Ulrik Pagh Schultz,  
 +
Chung-chieh Shan,  
 +
Satnam Singh,  
 +
Tony Sloane,
 +
Kanae Tsushima,
 +
Eric Van Wyk,
 +
Eelco Visser,
 +
Jeremy Yallop
  
−
== Talks  ==
+
[[File:Example.jpg]]== Talks  ==
  
 
See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.  Members: please add yourself and your topic, following the template below.
 
See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.  Members: please add yourself and your topic, following the template below.
  
−
* ...
+
* Adam Barwell [[WG211/M18Barwell | Folds, Unfolds, and Metaheuristics: Towards Automatic Rewriting and Derivation of Metaheuristics]]
 +
* Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]  [[Media:M18Blazy-Slides.pdf | (slides) ]]
 +
* Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]] [[Media:M18Carette-Slides.pdf | (slides) ]]
 +
* Shigeru Chiba [[WG211/M18Chiba | Toward frameworks and libraries with language-like interfaces]]
 +
* Jeremy Gibbons [[WG211/M18Gibbons | Relational Algebra by Way of Adjunctions]] ([[Media:JG-WG211m18.pdf|slides]])
 +
* Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]
 +
* Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
 +
* Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]
 +
* Yukiyoshi Kameyama [[WG211/M18Kameyama | A lightweight approach to module generation ]] ([[Media:WG211_M18_Kameyama_slides.pptx|slides]])
 +
* Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]
 +
* Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]] ([[Media:WG211_M18_Lawall_slides.pdf|slides]])
 +
* Ralf Lämmel [[WG211/M18Laemmel | Program generation for schema-based, typed data access]]
 +
* Peter Mosses [[WG211/M18Mosses | The CBS Framework]] ([[Media:WG211_M18_Mosses_slides.pdf|slides]])
 +
* Klaus Ostermann [[WG211/M18Ostermann | De/refunctionalization and local (co)pattern matching]] (not on Monday)
 +
* Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)  ([[Media:WG211_M18_Puschel_slides.pdf|slides]])
 +
* Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]] ([[Media:WG211_M18_Reichenbach_slides.pdf|slides]])
 +
* Tiark Romph [[WG211/M18Romph | Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator ]] (Monday, Tuesday, or Wednesday morning)
 +
* Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
 +
* Ulrik Pagh Schultz [[WG211/M18Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]
 +
* Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
 +
* Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
 +
* Kanae Tsushima [[ WG211/M18Tsushima | A Common Framework Using Expected Types for Several Type Debugging Approaches]]
 +
* Eric Van Wyk [[WG211/M18VanWyk | Abstract syntax trees, forwarding, and control flow graphs ]]
 +
* Eelco Visser [[WG211/M18Visser | Declarative Disambiguation of Deep Priority Conflicts ]] ([[Media:M18Visser-slides.pdf|slides]])
 +
* Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]] ([[Media:WG211_M18_Yallop_slides.pdf|slides]])
 +
* ... (add more, order alphabetically, following same pattern)...
  
 
== Program / schedule ==
 
== Program / schedule ==
  
 
=== Scientific program ===
 
=== Scientific program ===
 +
 +
The scheduling of the talks is as follows:
 +
 +
Monday, June 4:
 +
* 9:00 - 10:30: Welcome and 2 talks
 +
** Tiark Romph [[WG211/M18Romph | Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator ]]
 +
** Peter Mosses [[WG211/M18Mosses | The CBS Framework]]
 +
* 10:30 - 11:10: Break
 +
* 11:10 - 12:40: 1 regular talk followed by 3 short talks
 +
** Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
 +
** Chung-chieh Shan
 +
** Ulrik Pagh Schultz [[WG211/M18Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]
 +
** Eric Van Wyk [[WG211/M18VanWyk | Abstract syntax trees, forwarding, and control flow graphs]]
 +
* 12:40 - 14:10: Lunch
 +
* 14:00 - 15:30: 1 regular talk followed by 3 short talks
 +
** Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
 +
** Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]]
 +
** Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
 +
** Ralf Lämmel [[WG211/M18Laemmel | Program generation for schema-based, typed data access]]
 +
* 15:30 - 16:00: Break
 +
* 16:00 - 17:30: 2 talks
 +
** Shigeru Chiba [[WG211/M18Chiba | Toward frameworks and libraries with language-like interfaces]]
 +
** Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]
 +
 +
 +
Tuesday, June 5:
 +
* 9:00 - 10:30: 2 talks
 +
** Kanae Tsushima [[ WG211/M18Tsushima | A Common Framework Using Expected Types for Several Type Debugging Approaches]]
 +
** Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]
 +
* 10:30 - 11:00: Break
 +
* 11:00 - 12:30: 2 talks
 +
** Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
 +
** Yukiyoshi Kameyama [[WG211/M18Kameyama | A lightweight approach to module generation ]]
 +
* 12:30 - 14:00: Lunch
 +
* 14:00 - 15:30: 2 talks
 +
** Jeremy Gibbons [[WG211/M18Gibbons | Relational Algebra by Way of Adjunctions]]
 +
** Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]
 +
* 15:30 - 16:00: Break
 +
* 16:00 - 17:30: Business Meeting, members only
 +
 +
Wednesday, June 6:
 +
* 9:00 - 10:30: 2 talks
 +
** Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
 +
** Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]
 +
* 10:30 - 11:00: Break
 +
* 11:00 - 12:00: 2 30-minute talks
 +
** Adam Barwell [[WG211/M18Barwell | Folds, Unfolds, and Metaheuristics: Towards Automatic Rewriting and Derivation of Metaheuristics]]
 +
** Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
 +
* 12:00: Lunch
 +
* 13:00: Excursion, bus leaves at 13:00.
 +
 +
Thursday, June 7:
 +
* 9:00 - 10:30: 2 talks
 +
** Klaus Ostermann [[WG211/M18Ostermann | De/refunctionalization and local (co)pattern matching]]
 +
** Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]
 +
* 10:30 - 11:00: Break
 +
* 11:00 - 12:30: 2 talks
 +
** Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]
 +
** Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]]
 +
* 12:30: Lunch and/or departure
  
 
=== Social events ===
 
=== Social events ===
  
 +
See [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing Google map showing meeting points and restaurants for dinner as well as places to visit in the excursion.]
 +
 +
* Monday 4 June (6:30pm-);
 +
** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)
 +
** Meeting point: West gate of Yasaka Shrine at 6:20pm.  (See the Google map for the location and how the gate looks like.  Most of us will take a walk (or a bus) to the restaurant from the venue.)
 +
* Tuesday 5 June (6:30pm-);
 +
** Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)
 +
** Meeting point: Demachiyanagi Station at 6:20pm.  (See the Google map for the location and how the station looks like.  There is an underground station (of Keihan like), too.  Don't go down.)
 +
* Wednesday 6 June; 1pm-
 +
** Excursion (see below)
 +
** Meeting point: Kyoto University Main Gate at 12:55pm.  (See the Google map for the location and how the gate looks like.)
 +
** Dinner at Kyoto Hotel Okura (京都ホテルオークラ)
 +
* Thursday 7 June;
 +
** Lunch (details TBD)
 +
 +
Social events are covered by the registration fee except the lunch on Thursday.
  
 
== Excursion==
 
== Excursion==
 +
 +
* The bus leaves Kyoto University at 1pm.
 +
* Visit to Enryaku-ji (延暦寺) in Mt. Hiei (比叡山); (see https://en.wikipedia.org/wiki/Enryaku-ji and https://www.hieizan.or.jp/_att/english.pdf)
 +
* Ride on Sakamoto Cable Railway to the town called Sakamoto (坂本) on Lake Biwa (琵琶湖), the largest lake in Japan. (http://www.sakamoto-cable.jp/utilities/pdf/pamp_en.pdf)
 +
** The longest cable route in Japan
 +
** If the weather is fine, we can expect a nice view over Lake Biwa.
 +
* Visit to Kyu-Chikurinin Garden (旧竹林院庭園); http://kyuchikuriin.web.fc2.com/ (which provides little information in English)
 +
** A break with green tea
 +
* Dinner at Kyoto Hotel Okura from 6pm.
 +
 +
== Joint trips before/after the meeting ==
 +
 +
People arriving before the meeting: Ulrik and Christoph (arriving Saturday, will be in Kyoto Sunday), Kevin (in Kyoto Sunday, my wife will be joining me), Jacques (arriving Saturday evening via Osaka), Jeremy (arriving Saturday), Tony (arriving Saturday evening Osaka).
 +
 +
People staying after the meeting: Ulrik (staying until Saturday, considering Osaka), Ken (leaving via Osaka on Friday), Julia (probably staying until Saturday, flying out of Osaka), Kevin (leaving Monday, from Osaka), Christoph (leaving Friday, from Osaka), Jacques (leaving Saturday, from Osaka), Tony (leaving Saturday evening via Osaka).
 +
 +
Places to go: on June 7 (Thursday), Ken suggests [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum] in the afternoon, followed by [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] at 8pm. The Butoh performance seats 8, and is now sold out after 7 of us bought tickets. (Doors open 20 minutes in advance; the performance runs 45 minutes.)
 +
 +
I (Jeremy G) can recommend a trip to [https://www.insidekyoto.com/arashiyama Arashiyama], if you have a free day or even half-day; I did this on Sunday. This is a suburb on the western edge of Kyoto, accessible by various routes (eg Tozai subway line from Karasuma Oike station to the end, then the very cute Keifuku Randen tram). There are many temples and gardens, and the famous [https://www.insidekyoto.com/arashiyama-bamboo-grove Bamboo Grove]. I particularly recommend [https://www.insidekyoto.com/tenryu-ji-temple-arashiyama Tenryu-ji], a huge temple complex, and [https://www.insidekyoto.com/okochi-sanso-villa-arashiyama Okochi Sanso] strolling garden, established by the silent samurai-movie star Okochi Denjiro. The short walk between the two inevitably takes you through the Bamboo Grove. I've just noticed (too late for me) that there is a [https://www.insidekyoto.com/unagi-hirokawa-arashiyama Michelin-starred eel restaurant] there too; book ahead! If you take the tram back, consider getting off at Arisugawa to walk 3 minutes to [https://www.insidekyoto.com/tenzan-no-yu-onsen-kyoto Tenzan-no-yu onsen].
 +
 +
=== Sento ===
 +
 +
Jeremy G suggests the following: I thought it would be helpful - for those like myself, arriving early in the morning but not able to check in to a hotel in the afternoon - to point out that that it is easy to get a nice hot bath cheaply in Japan, in a public facility called a [http://www.sentoguide.info/etiquette/ sento]. You have to be comfortable being naked with strangers (of the same sex); but there is no better way to relax after a long flight. However, note that tattoos are not welcome. As it happens, there is a basic sento in the basement of Kyoto Tower, which is just across the road from Kyoto Station where people are likely to arrive in the city, open from early to late: [https://www.keihanhotels-resorts.co.jp/kyoto-tower/en/ Kyoto Tower Daiyokujo Yuu 07:00-22:00 (basement 3F)]. But Atsushi has recommended a "super-sento" (a fancier place, with several different pools, masseurs, restaurant, a bit more expensive) called [http://hanano-yu.jp/ Hana-no-yu はなの湯], one station away from Kyoto Station, which is open from 10:00.

Latest revision as of 16:44, 8 July 2018

IFIP Working Group 2.11, Eighteenth Meeting

June 4-7, 2018 in Kyoto, Japan.

The meeting will be held in Kyoto, Japan, hosted by Atsushi Igarashi.

The meeting will last 3.5 days; the first three days (June 4-6) will be full-day, whereas the last day (June 7) will be a half-day session.

Venue

The meeting will be held at Room 221, Research Build. #8, Kyoto University. (Research Build. #8 is the building numbered 59 in this campus map.) If you stay in the Hearton Hotel Kyoto, you can take a rapid bus to Kyoto Univ. at Karasuma-Oike. Get off at either Kyoto Univ. Main Gate or Hyakumanben, which is shown on the campus map. Or, you can walk. It takes about 40 minutes.

On Monday, Atsushi will stop by at the Hearton Hotel Kyoto at 8am (sharp!:-) to pick up some of you to ride the 8:07 bus. (We can arrive at the meeting room before 8:40.)

Travel

Kansai International Airport, located south of Osaka, is the natural access route to Kyoto. From there you can reach Kyoto Station in 1 hour 15 minutes, using the Limited Express HARUKA (runs twice an hour). Another option is to use a shared taxi (shuttle), which you should book in advance, operated either by Yasaka Taxi or MK Taxi. You can also fly first to Narita International Airport or Haneda International Airport in Tokyo, and then connect to Osaka Airport (ITM) from which you can take a limousine bus or a shared taxi to Kyoto. (If you are a train fan, it may be a good idea to take Shinkansen (superexpress train) from Tokyo to Kyoto, although it's an expensive choice.) The Central Japan International Airport, nearby Nagoya, provides an alternative access route. The Mu-Sky limited express to Nagoya runs every 30mn (and takes 30mn), and from there to Kyoto is just 35mn by Shinkansen (albeit a bit expensive).

The organizer will conduct a survey for those who would like to use the shuttle bus from the airport.

You can check timetables for trains inside Japan on Jorudan's Norikae-Annai or on Google Maps.


Arrival/Departure
  • Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928
  • Jeremy G: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078 (staying at Palaceside Hotel)
  • Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34 -- I would like a round-trip shuttle (to/from Hearton Hotel),one piece of checked luggage
  • Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
  • Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078
  • Sandrine arr KIX 03 Jun 2018 8:35 on AF8437
  • Jacques arr KIX 02 Jun 2018 19:15 on OZ118; dep KIX 09 Jun 2018 17:15 on AC1952 -- I would like the shuttle (to Hearton Hotel), definitely on arrival.
  • Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921
  • Ralf L. with partner arr KIX 02 Jun 2018 (8:40 and 12:55); dep KIX 09 Jun 2018 (10:00 and 10:25) -- we stay at Hearton Hotel Kyoto
  • Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078
  • Eelco: arr June 1 at 8:45 AM at KIX, departs June 10 at 10:25 AM from KIX (would like shuttle to AirBnB that is close to the hotel, (〒604-0994 Kyōto-fu, Kyōto-shi, Nakagyō-ku, Kanrochō, 664 サキ ゾー甘露町ビル).
  • Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00
  • Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018
  • Eric VW: arr KIX 02 Jun 2018 19:40 on Air Canada 6231; dep KIX 10 Jun 2018 08:10 on Nippon Airways 96 -- I would like a round-trip shuttle (to/from Hearton Hotel),
  • Markus: arr KIX 04 Jun 2018 7:45 on LH740
  • Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34
  • Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 -- we would like a shuttle to the Noku Kyoto Hotel, single trip, 2 persons, 1 piece check-in luggage.
  • Christoph: arr KIX 02 Jun 2018 at 21:45 on NH097 (after NRT 15:40 from NH232, via HND); dep KIX 10 Jun 2018 at 10:05 on LH741
  • Klaus arr. KIX 03 Jun 2018 08:40AM with AF292

Accommodation

Rooms have been blocked in a single, recommended hotel (Hearton Hotel Kyoto); please use the special booking web site. If you'd like to book a room for an extra stay before/after the meeting, please contact Nippon Travel Agency Co., Ltd. (The contact email address is in the booking web site.) Alternative hotels can be located on this map.

Registration

Registration fee is 33,000 JPY, which covers all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program). At the registration site, there is an option for your family: 28,000 JPY for everything but refreshments and lunch (during the meeting).

Attendance

Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.

Adam Barwell (guest), Sandrine Blazy, Jacques Carette, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Yukiyoshi Kameyama, Oleg Kiselyov, Ralf Lämmel, Julia Lawall, Christian Lengauer, Peter Mosses (not Thursday), Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Tiark Romph, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, Jeremy Yallop

File:Example.jpg== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts. Members: please add yourself and your topic, following the template below.

Program / schedule

Scientific program

The scheduling of the talks is as follows:

Monday, June 4:


Tuesday, June 5:

Wednesday, June 6:

Thursday, June 7:

Social events

See Google map showing meeting points and restaurants for dinner as well as places to visit in the excursion.

  • Monday 4 June (6:30pm-);
    • Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)
    • Meeting point: West gate of Yasaka Shrine at 6:20pm. (See the Google map for the location and how the gate looks like. Most of us will take a walk (or a bus) to the restaurant from the venue.)
  • Tuesday 5 June (6:30pm-);
    • Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)
    • Meeting point: Demachiyanagi Station at 6:20pm. (See the Google map for the location and how the station looks like. There is an underground station (of Keihan like), too. Don't go down.)
  • Wednesday 6 June; 1pm-
    • Excursion (see below)
    • Meeting point: Kyoto University Main Gate at 12:55pm. (See the Google map for the location and how the gate looks like.)
    • Dinner at Kyoto Hotel Okura (京都ホテルオークラ)
  • Thursday 7 June;
    • Lunch (details TBD)

Social events are covered by the registration fee except the lunch on Thursday.

Excursion

Joint trips before/after the meeting

People arriving before the meeting: Ulrik and Christoph (arriving Saturday, will be in Kyoto Sunday), Kevin (in Kyoto Sunday, my wife will be joining me), Jacques (arriving Saturday evening via Osaka), Jeremy (arriving Saturday), Tony (arriving Saturday evening Osaka).

People staying after the meeting: Ulrik (staying until Saturday, considering Osaka), Ken (leaving via Osaka on Friday), Julia (probably staying until Saturday, flying out of Osaka), Kevin (leaving Monday, from Osaka), Christoph (leaving Friday, from Osaka), Jacques (leaving Saturday, from Osaka), Tony (leaving Saturday evening via Osaka).

Places to go: on June 7 (Thursday), Ken suggests Kyoto Railway Museum in the afternoon, followed by Kyoto Butoh Kan at 8pm. The Butoh performance seats 8, and is now sold out after 7 of us bought tickets. (Doors open 20 minutes in advance; the performance runs 45 minutes.)

I (Jeremy G) can recommend a trip to Arashiyama, if you have a free day or even half-day; I did this on Sunday. This is a suburb on the western edge of Kyoto, accessible by various routes (eg Tozai subway line from Karasuma Oike station to the end, then the very cute Keifuku Randen tram). There are many temples and gardens, and the famous Bamboo Grove. I particularly recommend Tenryu-ji, a huge temple complex, and Okochi Sanso strolling garden, established by the silent samurai-movie star Okochi Denjiro. The short walk between the two inevitably takes you through the Bamboo Grove. I've just noticed (too late for me) that there is a Michelin-starred eel restaurant there too; book ahead! If you take the tram back, consider getting off at Arisugawa to walk 3 minutes to Tenzan-no-yu onsen.

Sento

Jeremy G suggests the following: I thought it would be helpful - for those like myself, arriving early in the morning but not able to check in to a hotel in the afternoon - to point out that that it is easy to get a nice hot bath cheaply in Japan, in a public facility called a sento. You have to be comfortable being naked with strangers (of the same sex); but there is no better way to relax after a long flight. However, note that tattoos are not welcome. As it happens, there is a basic sento in the basement of Kyoto Tower, which is just across the road from Kyoto Station where people are likely to arrive in the city, open from early to late: Kyoto Tower Daiyokujo Yuu 07:00-22:00 (basement 3F). But Atsushi has recommended a "super-sento" (a fancier place, with several different pools, masseurs, restaurant, a bit more expensive) called Hana-no-yu はなの湯, one station away from Kyoto Station, which is open from 10:00.

Retrieved from "https://wiki.hh.se/wg211/index.php?title=WG211/M18Schedule&oldid=1926"