Revision as of 11:24, 23 May 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.)

• Time table of the bus
• Map of the main campus of Kyoto Univ.
• Google map showing restaurants for dinner and places to visit in the excursion.

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.

• Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928
• Jeremy: 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; dep KIX 09 Jun 2018
• 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.

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, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses (not Thursday), Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, Jeremy Yallop

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.

• Adam Barwell In search of a map: automatic parallel recursion scheme detection in Haskell functions via anti-unification.
• Sandrine Blazy Verified translation validation of static analyses
• Jacques Carette A tale of theories and data-structures
• Jeremy Gibbons Relational Algebra by Way of Adjunctions or Profunctor Optics and the Yoneda Lemma
• Robert Glück Metacomputation and Inversion - A Frontier of Program Generation
• Kevin Hammond The Robots are Coming: Failure is not an Option!
• Atsushi Igarashi A Guess-and-Assume Approach to Loop Fusion for Program Verification
• Oleg Kiselyov Session types without sophistry
• Julia Lawall 10 years of Coccinelle
• Ralf Lämmel Towards a relatively systematic literature survey on program generation
• Peter Mosses The CBS Framework (not Thursday)
• Markus Püschel SIMD Intrinsics on Managed Runtimes (not on Monday)
• Christoph Reichenbach Congruences for Incremental Datatype Migration
• Sven-Bodo Scholz A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays
• Ulrik Pagh Schultz Designing a Language for Drone Swarm Programming
• Tony Sloane Formalisation of Attribute Grammar Evaluation
• Walid Taha Staging an Interpreter for the Lambda Calculus in Haskell
• Eelco Visser Definitional Interpreters with Scopes and Frames
• Jeremy Yallop Partially static data as free extension of algebras
• ... (add more, order alphabetically, following same pattern)...

Program / schedule

Scientific program

TBA. Overall schedule:

• Monday start at 9, lunch 12.30-14.00
• Tuesday start at 9, lunch 12.30-14.00
• Wednesday start at 9, lunch 12.00-13.00 (bus leaves at 13.00).
• Thursday start at 9

Social events

• Monday 4 June;
  • Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)
• Tuesday 5 June;
  • Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)
• Wednesday 6 June; 1pm-
  • Excursion (see below)
  • 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

• 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 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.)

Sento

Jeremy 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.