WG 2.11 - User contributions [en]

WG211/M18Hammond

2018-06-04T22:55:58Z

Kevin:

Autonomous robots have the potential to change the world as we know it, freeing up humans
from mundane tasks (or as we like to term them, "jobs"). But how do we know that the robots will do what
we want them to do, and how can we ensure that they will not misbehave in unexpected ways?

This talk will explore some new ideas around understanding the plans that are used to control robotics systems, using
the power of functional programming and high-level functional abstractions to ensure that the actions that a robot carries out
do what was originally intended, even in the presence of unexpected situations or unpredictable events.
No actual robots will be hurt in the course of the talk.

[https://www.dropbox.com/sh/7dw5r3kvlhuuytn/AAC5RZDd3zr9QuYFW-2Sh9lpa?dl=0 Link to presentation and sources]

WG211/M18Schedule

2018-05-21T21:26:09Z

Kevin: /* Talks */

=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 Kyoto University.

=== Travel ===

[https://www.kansai-airport.or.jp/en/ 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 [https://www.osaka-airport.co.jp/en/ 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.) [http://www.centrair.jp/en/ 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 [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: 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 at 10:30 on KL862

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

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 [[WG211/M18Barwell | In search of a map: automatic parallel recursion scheme detection in Haskell functions via anti-unification.]]
* Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]
* Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
* Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]
* 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]]
* Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]
* Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]
* Ralf Lämmel [[WG211/M18Laemmel | Towards a relatively systematic literature survey on program generation]]
* Peter Mosses [[WG211/M18Mosses | The CBS Framework]] (not Thursday)
* Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)
* Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
* Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]
* Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
* Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
* Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]
* Jeremy Yallop [[WG211/M18Yallop | 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 [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.)

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

WG211/M18Schedule

2018-05-21T21:20:06Z

Kevin: /* Attendance */

=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 Kyoto University.

=== Travel ===

[https://www.kansai-airport.or.jp/en/ 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 [https://www.osaka-airport.co.jp/en/ 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.) [http://www.centrair.jp/en/ 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 [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: 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 at 10:30 on KL862

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

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.

* Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]
* Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
* Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]
* 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]]
* Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]
* Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]
* Ralf Lämmel [[WG211/M18Laemmel | Towards a relatively systematic literature survey on program generation]]
* Peter Mosses [[WG211/M18Mosses | The CBS Framework]] (not Thursday)
* Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)
* Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
* Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]
* Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
* Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
* Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]
* Jeremy Yallop [[WG211/M18Yallop | 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 [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.)

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

WG211/M18Hammond

2018-05-14T08:12:25Z

Kevin: Created page with "Autonomous robots have the potential to change the world as we know it, freeing up humans from mundane tasks (or as we like to term them, "jobs"). But how do we know that the..."

WG211/M18Schedule

2018-05-14T08:12:00Z

Kevin: /* Talks */

=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 Kyoto University.

=== Travel ===

[https://www.kansai-airport.or.jp/en/ 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 [https://www.osaka-airport.co.jp/en/ 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.) [http://www.centrair.jp/en/ 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 [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: 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),
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
* 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

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

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

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, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Walkingshaw, 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.

* Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]
* Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]
* Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]
* ... (add more, order alphabetically, following same pattern)...

== Program / schedule ==

=== Scientific program ===

TBA

=== 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: Ken suggests [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum] and [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan].

More specifically, due to limited seating, Ken suggests booking in advance the June 7 performance of Hisoku at 8pm rather than 6pm. (Doors open 20 minutes in advance; the performance runs 45 minutes.) You can buy a ticket for JPY 3800 [https://secure.passmarket.yahoo.co.jp/order/buy/edit?event_id=01jkwvziv153 here]. (There's a switch to English at the bottom of the page.)

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

WG211/M18Schedule

2018-04-02T19:48:52Z

Kevin: /* Travel */

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

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 Kyoto University.

=== Travel ===

[https://www.kansai-airport.or.jp/en/ 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 [https://www.osaka-airport.co.jp/en/ 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.) [http://www.centrair.jp/en/ 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 [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, CA0161; Dep: KIX 11 Jun 2018 16:25 CA0928

=== 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]. 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 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).

== Attendance ==

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

Sandrine Blazy, Jacques Carette, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Julia Lawall, Christian Lengauer, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane (most likely), Eric Van Wyk

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

TBA

=== Social events ===

TBA

== Excursion==

TBA

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

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)

Places to go: Ken suggests [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] and [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum]

=== Jeremy's sento suggestion ===

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" [http://www.sentoguide.info/etiquette/]

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, 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) called Hana-no-yu はなの湯, one station away from Kyoto Station [http://hanano-yu.jp/].
It's open from 10:00.

WG211/M18Schedule

2018-04-02T19:45:13Z

Kevin: /* Joint trips before/after the 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. ==

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 Kyoto University.

=== Travel ===

[https://www.kansai-airport.or.jp/en/ 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 [https://www.osaka-airport.co.jp/en/ 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.) [http://www.centrair.jp/en/ 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 [https://world.jorudan.co.jp/mln/en/?sub_lang=nosub Jorudan's Norikae-Annai] or on Google Maps.

=== 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]. 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 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).

== Attendance ==

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

Sandrine Blazy, Jacques Carette, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Julia Lawall, Christian Lengauer, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane (most likely), Eric Van Wyk

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

TBA

=== Social events ===

TBA

== Excursion==

TBA

== Joint trips before/after the meeting ==

People arriving before the meeting: Ulrik (arriving Saturday, will be in Kyoto Sunday), Kevin (in Kyoto Sunday, my wife will be joining me)

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)

Places to go: Ken suggests [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] and [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum]

=== Jeremy's sento suggestion ===

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" [http://www.sentoguide.info/etiquette/]

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, 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) called Hana-no-yu はなの湯, one station away from Kyoto Station [http://hanano-yu.jp/].
It's open from 10:00.

WG211/M18Schedule

2018-01-18T22:59:11Z

Kevin: /* Attendance */

WG211/M16Hammond

2016-08-08T20:13:08Z

Kevin:

The increasing importance of parallelism has motivated the creation of better abstractions for writing parallel software, including structured parallelism using nested algorithmic skeletons. Such approaches provide high-level abstractions that avoid common problems, such as race conditions, and often allow strong cost models to be defined. However, choosing a ''combination'' of algorithmic skeletons that yields good parallel speedups for a program on some specific parallel architecture remains a difficult task. In order to achieve this, it is necessary to simultaneously reason both about the costs of different parallel structures and about the semantic equivalences between them.

This talk presents a new type-based mechanism that enables strong static reasoning about these properties. We exploit well-known properties of a very general recursion pattern, ''hylomorphisms'', and give a denotational semantics for structured parallel processes in terms of these hylomorphisms. Using our approach, it is possible to determine formally whether it is possible to introduce a desired parallel structure into a program without altering its functional behaviour, and also to choose a version of that parallel structure that minimises some given cost model.

WG211/M16Hammond

2016-08-08T20:11:32Z

Kevin: Created page with "The increasing importance of parallelism has motivated the creation of better abstractions for writing parallel software, including structured parallelism using nested algori..."

The increasing importance of parallelism has motivated the creation of better abstractions for writing parallel software, including structured parallelism using nested algorithmic skeletons. Such approaches provide high-level
abstractions that avoid common problems, such as race conditions, and
often allow strong cost models to be defined.
However, choosing a
''combination'' of algorithmic skeletons that yields good parallel speedups for a program on
some specific parallel architecture remains a
difficult task. In order to achieve this, it is necessary to simultaneously
reason both about the costs of different
parallel structures and about the semantic equivalences between them.

This talk presents a new type-based mechanism that
enables strong static reasoning about these properties. We exploit well-known
properties of a very general recursion pattern, ''hylomorphisms'', and give a
denotational semantics for structured parallel processes in terms
of these hylomorphisms. Using our approach, it is possible to determine formally
whether it is possible to introduce a desired parallel structure into a program
without altering its functional behaviour, and also to choose a version of that
parallel structure that minimises some given cost model.

WG211/M16Schedule

2016-08-08T20:04:17Z

Kevin: /* Attendance */

=IFIP Working Group 2.11, Sixteenth Meeting=

== August 22-25, 2016 in Bloomington, Indiana, USA.==

The meeting will be held in Bloomington, Indiana, USA, hosted by [http://homes.soic.indiana.edu/ccshan/ Chung-chieh Shan] (Indiana University). The meeting will last 3.5 days; the first three days (August 22-24) will be full-day, whereas the last day (August 25) will be a half-day session ending with lunch.

=== Venue ===

The venue will be the ground-level meeting room at the [http://crest.iu.edu/ Center for Research in Extreme Scale Technologies] at 420 N. Walnut St near downtown Bloomington.

=== Travel ===

Beware that the Bloomington in Indiana is different from the Bloomington in Illinois and Minnesota. Do not fly into Bloomington-Normal airport in Illinois!

The most convenient airport is Indianapolis (IND), about one hour of driving time from campus. To get from the airport to campus:
* Every couple of hours there are two companies ([http://goexpresstravel.com/airport_shuttle_schedule Go Express] and [http://www.soashuttle.com/locations/bloomington-to-indianapolis/ Star of America]) that provide shuttle van service to Bloomington (from 6:20am to 10:40pm; ~$20), with a stop in front of the Indiana Memorial Union.
* Or call e2Taxi at +1 812-961-8294.
* Or rent a car at the airport.

You can also drive from another city, such as Chicago (4 hours), Cincinnati (3 hours), Louisville (2 hours).

==== Accommodation ====

As of July 20, the block of hotel rooms we reserved at the Indiana Memorial Union ($129-$164/night + tax, earliest check-in on August 20, latest check-out on August 26) has released, so any further booking is subject to current availability. Please use the hotel block "group code" "IFIP" by calling +1-800-209-8145 or +1-812-855-2536.

There are also several other hotels and bed-and-breakfasts convenient to downtown Bloomington.

== Registration ==

The registration fee is US$375. Please register and pay using this link:
https://indianauniv.ungerboeck.com/prod/emc00/register.aspx?OrgCode=10&EvtID=7572&AppCode=REG

== Attendance ==

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

Sandrine Blazy, Edwin Brady, Jacques Carette, Charles Consel (M-W), Ewen Denney, Jeremy Gibbons, Kevin Hammond (M-W), Christian Kaestner (M-W), Oleg Kiselyov, Ralf Laemmel, Julia Lawall (M-W), Praveen Narayanan, Ryan Newton, Tiark Rompf, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Amr Sabry (intermittent), Jeremy Siek, Satnam Singh, Eelco Visser, Eric Van Wyk

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.

Sandrine Blazy [[WG211/M16Blazy | A Verified Compiler for a Memory Model supporting Pointer Arithmetic and Uninitialised Data ]]

Edwin Brady TBA

Jacques Carette TBA

Charles Consel TBA

Ewen Denney TBA

Kevin Hammond [[WG211/M16Hammond | Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]]

Jeremy Gibbons [[WG211/M16Gibbons | APLicative Programming with Naperian Functors ]]

Christian Kaester TBA

Oleg Kiselyov [[WG211/M16Kiselyov | Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing]]

Ralf Lämmel [[WG211/M16Laemmel | Compilation of megamodels]]

Julia Lawall [[WG211/M16Lawall | Prequel: A Patch-Like Query Language for Commit History Search]]

Praveen Narayanan [[WG211/M16PraveenNarayanan | Disintegrating probabilistic programs with arrays ]]

Ryan Newton TBA

Tiark Rompf TBA

Sven-Bodo Scholz [[WG211/M16Scholz | SpaceTime -- a fresh view on parallel programming ]]

Ulrik Pagh Schultz [[WG211/M16Schultz | Adventures in Object-Oriented Reversible Programming]]

Jeremy Siek TBA

Eric Van Wyk [[WG211/M16VanWyk | TBD ]]

Eelco Visser [[WG211/M16Visser | Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics ]]

Eric Van Wyk TBA

== Schedule ==

Note that the actual scheduling of talks will not be available until the meeting starts (although you will know in advance if you are giving a talk in the first session).

''Preliminary schedule''

Monday August 22:
* 9:15 arrive, welcome
* 9:15-10:00 work (1 talk)
* 10:00-10:30 morning break with refreshments
* 10:30-12:00 work (2 talks)
* 12:00-14:00 catered lunch from [http://www.feastcateringonline.com/ Feast]
* 14:00-15:30 work (2 talks)
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 work (2 talks)
* 19:00 dinner at [https://the-uptown.com/ Uptown Cafe]

Tuesday August 23:
* 8:30-10:00 work (2 talks)
* 10:00-10:30 morning break with refreshments
* 10:30-12:00 work (2 talks)
* 12:00-14:00 catered lunch from [http://www.falafelsonline.com/ Falafels]
* 14:00-15:30 work (2 talks)
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 business meeting (members only)
* 19:00 dinner at [http://www.finchsbrasserie.com/ Finch's Brasserie]

Wednesday August 24:
* 9:00-10:30 work (2 talks)
* 10:30-11:00 morning break with refreshments
* 11:00-12:30 work (2 talks)
* 12:30-14:30 buffet lunch at [http://www.restaurantanatolia.com/ Anatolia]
* 14:30-17:30 excursion (see below)
* 19:00 dinner at [http://www.esanthairest.com/ Esan Thai]

Thursday August 25:
* 8:30-10:00 work (2 talks)
* 10:00-10:30 morning break with refreshments
* 10:30-12:00 work (2 talks)
* 12:00-14:00 catered lunch (or to go) from [http://thelaughingplanetcafe.com/ Laughing Planet]

== Excursion==

After lunch on Wednesday, August 24, we'll take in the highlights of the [https://artmuseum.indiana.edu/ Indiana University Art Museum] and [http://www.indiana.edu/~liblilly/ Lilly Library], including its [http://www.indiana.edu/~liblilly/collections/puzzles.shtml puzzle collection]. If we're lucky, we'll also learn a bit about the [https://www.kinseyinstitute.org/ Kinsey Institute].

If you're looking to spend some free time in Bloomington (like meeting up for Sunday dinner), here are '''some''' of [http://www.visitbloomington.com/ the options]:
* Food:
** "restaurant row" on 4th St around Dunn St and Grant St: Tibetan, Burmese, Korean, Indian, Turkish, ...
** downtown: Samira (Afghan), Owlery (vegan diner), King Dough (wood-oven pizza, including vegetarian, vegan, and gluten-free options), ...
* Alcohol: Upland Brewery, The Tap, Function Brewery, Quaff On, ...
* Coffee: Pourhouse, Soma, Runcible Spoon, Hopscotch, ...
* Chocolate: BLU Boy
* More museums: [http://wonderlab.org/ WonderLab], [http://www.mathers.indiana.edu/ Mathers Museum of World Cultures]
* Film: More "Raiders of the Lost Ark" than you probably want at the [http://www.cinema.indiana.edu/calendar/ Indiana University Cinema]
* Bicycling: Maybe rent a bike at Revolution Bike & Bean, enjoy an espresso, and head for one of the lakes (Griffy, Lemon, Monroe)?

WG211/M16Schedule

2016-06-22T16:32:49Z

Kevin: /* Talks */

WG211/M16Schedule

2016-06-22T16:30:15Z

Kevin: /* Talks */

WG211/M16Schedule

2016-06-22T16:29:46Z

Kevin: /* Attendance */

WG211/M13Schedule

2014-03-19T14:36:12Z

Kevin: /* Sharing a taxi from the hotel or university to the airport */

[[Category:WG211]]

=IFIP Working Group 2.11, Thirteenth Meeting=

==March 17-20, 2014, Pittsburgh, USA==

The meeting will be held at Carnegie Mellon University (CMU) in USA, March 17-20, hosted by Christian Kästner. The meeting starts March 17 in the morning, and ends with lunch on March 20.

We will meet on the CMU campus, for directions see schedule below.

=== Travel ===

The Pittsburgh International Airport is quite well connected in the US. The only direct flight to Europe is to Paris a few days a week.

The airport is somewhat outside of the town. You can either take a taxi (30-40 min, about 50-60 USD incl. tip) or the 28X bus (60-80 min, every 30 min until Midnight, 3.75 USD cash only, no change given).
The bus takes a pretty direct route and stops directly in front of the hotels (the Hilton is at the bus stop "Forbes Av at McKee Place"). Its final stop is right in front of the CMU campus. Here is a [http://www.portauthority.org/maps/28x.pdf map] and [http://www.portauthority.org/PAAC/Apps/pdfs/28X.PDF schedule].

The hotels are within walking distance from campus (15 to 30 minutes), but there are many buses running along Forbes Avenue and 5th Avenue as well, especially all 61 buses which should go every 10 minutes or so. When going toward campus, you pay when exiting the bus, when going toward downtown you pay when entering. It's a bit confusing but the bus driver will tell you. Again, cash only, no change. All hotels have shuttles that you can arrange to drive you anywhere within a 3 mile radius, including campus.

=== Accommodations ===

We recommend to stay at the Hilton Garden Inn, Pittsburgh University Place where we have reserved a block of rooms for attendees. Follow this link to make reservations: http://ow.ly/qho6O. You can also make reservations over the phone at +1 412-683-2040.

When booking your room, please make sure to use our special rate quote "'''CIS'''" at $119/night. The rooms will be held through February 16, 2014 so be sure to book before then.
For more information on the Hilton Garden Inn, see link http://pittsburghuniversityplace.hgi.com

If you prefer a different hotel, other hotels within walking distance include Hampton Inn ($119) and Wyndham ($144) and many more are a short bus trip away. If you choose to stay at another location, aside from the Hilton Garden Inn, please contact Jamie Lou Hagerty at jpresken@cs.cmu.edu to arrange reservations at the university rate.

===Registration===

Registration is now open

* You can register at http://isri.cmu.edu/events/ifip-wg211-13.html.

* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee breaks.

* Payment is to be made by credit card. Please contact Christian if you need to pay by some other means.

* When registering, remember to either add yourself to the list of attendees or send an email to Eric Van Wyk [[mailto:evw@cs.umn.edu]]. If you are giving a talk, please either edit the wiki and add your topic to the list below (members only) or email Eric.

'''Deadline to register is February 16, 2014'''

===Attendees===

Sandrine Blazy, Jacques Carette, Charles Consel, Franz Franchetti, Kevin Hammond, Atsushi Igarashi, Christian Kaestner, Samuel Kamin, Ralf Lämmel, Julia Lawall, Christian Lengauer, Mohammadreza Mousavi, Klaus Ostermann, Markus Püschel, Derek Rayside, Christoph Reichenbach, Tiark Rompf, Sven-Bodo Scholz, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Walid Taha, Eric Van Wyk.

===Talks===

If you are giving a talk, edit the wiki (members only), or email Christian the title and the abstract:

Talks:

* [[WG211/M13Aldrich | Safely Composable Type-Specific Languages in Wyvern]] Jonathan Aldrich
* [[WG211/M13Blazy | Compiling avionics software with a formally verified compiler]] Sandrine Blazy
* [[WG211/M13Carette | What have I been up to?]] Jacques Carette (short)
* [[WG211/M13Consel | Orchestrating Masses of Sensors: A Design-Driven Development Approach ]] Charles Consel
* [[WG211/M13Franchetti | High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification]] Franz Franchetti (not Tuesday)
* [[WG211/M13LeGoues | Automatic program repair using genetic programming]] Claire Le Goues
* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond
* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi
* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner
* [[WG211/M13Kamin | TBD]] Samuel Kamin (short talk, Thursday)
* [[WG211/M13Lawall | Understanding the Genetic Makeup of Linux Device Drivers]] Julia Lawall (short talk)
* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel
* [[WG211/M13Lengauer | News from Project ExaStencils]] Christian Lengauer
* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi
* [[WG211/M13Ostermann | From Object Algebras to Attribute Grammars]] Klaus Ostermann
* [[WG211/M13Puschel | Spiral for Basic Linear Algebra ]] Markus Püschel (Monday or Tuesday)
* [[WG211/M13Rayside | Synthesis of Microfluidics Chips using SMT Solvers]] Derek Rayside (not Thursday, short talk)
* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]] Christoph Reichenbach
* [[WG211/M13Romph | Staging for Database Systems: From Query Interpreters to Query Compilers ]] Tiark Romph
* [[WG211/M13Scholz | Tinkering is Dead --- Long Live Tinkering]] Sven-Bodo Scholz
* [[WG211/M13Schultz | Object-oriented multi-stage programming]] Ulrik Schultz (short talk)
* [[WG211/M13Shan | From lazy evaluation to Gibbs sampling]] Chung-chieh Shan
* [[WG211/M13Solar | Generative Programming Meets Constraint Based Synthesis]] Armando Solar-Lezama
* [[WG211/M13Taha | Binding Time Analysis in Acumen]] Walid Taha
* [[WG211/M13VanWyk | AbleC: Modular and Composable Language Extensions for C]] Eric Van Wyk

===Overall schedule===

The meeting is in GHC 4405 (Gates-Hillman Center, [http://www.flickr.com/photos/p0nk/9106077282/ picture of the building]; building 9B on the [http://www.cmu.edu/homeimages/campus-map/CMU_MapColor_11x17.pdf#11 campus map]). The room is near the entrance from Forbes Ave on the 4th floor. There are signs guiding you through the building to this room number. To get there from the hotel, simply follow Forbes Avenue until you see the CMU campus and the Gates-Hillman Building (there are several breakfast/coffee places along this road).

There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds.
Overall schedule including lunch and dinner arrangements (first draft):

Monday (7 talks)
* 8.30-9.15: Welcome
* 9.15-10.00: Talks (1) by Markus Püschel (unless otherwise noted, all other talks are scheduled dynamically)
* 10.30-12.00: Talks (2)
** Lunch (Sandwiches from [http://www.eatuniquecafe.com/ Eat Unique])
* 13.30-15.00: Talks (2)
* 15.30-17.00: Talks (2), one of which is by Franz Franchetti
** 18:15: meet in hotel lobby
** 18:20: take shuttle/taxis to dinner
** 18:30: Dinner at [http://www.upkitchen.com/ Up]

Tuesday (6 talks, business meeting)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
** Lunch at [http://www.theporchatschenley.com/ The Porch]
* 13.45-15.15: Talks (2)
* 15-45-17.00: Business meeting
** 18:25: meet in hotel lobby
** 18:30: take shuttle/taxis to dinner
** 18:45: Dinner at [http://churchbrew.com/ Church Brew Works]

Wednesday (6 talks, excursion)
* 8.30-10.00: Talks (2), one of which is a local guest talk by Jonathan Aldrich
* 10.30-12.00: Talks (2)
* Lunch (Pasta Bar)
* 13.30-14.30: Short Talks (2)
* Afternoon excursion:
** 14:30: Shuttle to Warhol Museum
** 15:00 Tour the [http://www.warhol.org Warhol Museum]
** 17:00: Shuttle to Mt Washington, ride the Incline
** 18:00: Dinner at [http://www.thegrandviewsaloon.com/ Grand View Saloon]
** 21:00: Shuttle back to hotel

Thursday (4 talks)
* 8.30-10.00: Talks (2), one of which is a local guest talk by Claire Le Goues
* 10.30-12.00: Talks (2)
* Lunch at [http://alibabapittsburgh.com/ Ali Baba]

Optional extra excursion:
* Visit the [http://www.nationalityrooms.pitt.edu/ Nationality Rooms] and go up to the 36th floor ([http://www.tour.pitt.edu/webcams/cl_cam view]) in the Cathedral of Learning (near campus, entrance free, guided tours available)
* Visit the [http://www.cmoa.org/ Carnegie Museums of Art and Natural History] (next to campus, 18 USD)
* Visit the [http://phipps.conservatory.org/ Phipps Conservatory] (next to campus, 15 USD)

=== Sharing a taxi from the airport to the hotel ===

Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.

Listed in order of arrival:

* Sven-Bodo Scholz - arriving Saturday 16:39 AA 3231 from JFK
* Ulrik Pagh Schultz - arriving Saturday at 21:40 US1838 from Philadelphia
* Kevin Hammond - arriving Sunday at 18:06 on flight US0787 from Charlotte, NC (CLT)
* Chris Lengauer - arriving Sunday at 21:40 on US 1838 from Philadelphia
* Eric Van Wyk - arriving Sunday at 23:00 on flight AA 4499 from DC

=== Sharing a taxi from the hotel or university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.

Kevin Hammond: I'm flying back on Sunday (1535 flight). I was thinking of hiring a car after the meeting and heading out to
the Gettysburg civil war battlefield on Saturday, staying over for a couple of nights (Fri/Sat) and driving back to the airport
on Sunday. I might stop at FallingWater on the way there (Friday). If anyone wants to join me, please contact me!

=== Sunday trip to Fallingwater ===

Fallingwater is a house designed by architect Frank Lloyd Wright in 1935. It's a place worth visiting and roughly a 75-minute drive away from Pittsburgh. There are guided tours through the house. See http://www.fallingwater.org/ and https://en.wikipedia.org/wiki/Fallingwater for details.

For those arriving already on Saturday, we could rent a car/bus and arrange a trip to Fallingwater on Sunday March 16. The tour costs $23 and shared costs for the trip are probably $10-$25 per person. In a previous poll we had a number of people interested. If your interested, leave your name below and Christian will contact you for a more detailed organization two weeks before the meeting.

Sabrine Blazy, Ulrik Schultz, Sven-Bodo Scholz

WG211/M13Schedule

2014-02-23T23:38:57Z

Kevin: /* Sharing a taxi from the airport to the hotel */

[[Category:WG211]]

=IFIP Working Group 2.11, Thirteenth Meeting=

==March 17-20, 2014, Pittsburgh, USA==

The meeting will be held at Carnegie Mellon University (CMU) in USA, March 17-20, hosted by Christian Kästner. The meeting starts March 17 in the morning, and ends with lunch on March 20.

We will meet on the CMU campus in the Gates-Hillman Center. Attached is a campus map for your reference http://www.cmu.edu/homeimages/campus-map/CMU_MapColor_11x17.pdf#11

=== Travel ===

The Pittsburgh International Airport is quite well connected in the US. The only direct flight to Europe is to Paris a few days a week.

The airport is somewhat outside of the town. You can either take a taxi (30-40 min, about 50-60 USD incl. tip) or the 28X bus (60-80 min, every 30 min, 3.75 USD cash only, no change given).
The bus takes a pretty direct route and stops directly in front of the hotels (the Hilton is at the bus stop "Forbes Av at McKee Place"). Its final stop is right in front of the CMU campus. Here is a map: http://www.portauthority.org/maps/28x.pdf

The hotels are within walking distance from campus (15 to 30 minutes), but there are many buses running along Forbes Avenue and 5th Avenue as well, especially all 61 buses which should go every 10 minutes or so. When going toward campus, you pay when exiting the bus, when going toward downtown you pay when entering. It's a bit confusing but the bus driver will tell you. Again, cash only, no change. All hotels have shuttles that you can arrange to drive you anywhere within a 3 mile radius, including campus.

=== Accommodations ===

We recommend to stay at the Hilton Garden Inn, Pittsburgh University Place where we have reserved a block of rooms for attendees. Follow this link to make reservations: http://ow.ly/qho6O. You can also make reservations over the phone at +1 412-683-2040.

When booking your room, please make sure to use our special rate quote "'''CIS'''" at $119/night. The rooms will be held through February 16, 2014 so be sure to book before then.
For more information on the Hilton Garden Inn, see link http://pittsburghuniversityplace.hgi.com

If you prefer a different hotel, other hotels within walking distance include Hampton Inn ($119) and Wyndham ($144) and many more are a short bus trip away. If you choose to stay at another location, aside from the Hilton Garden Inn, please contact Jamie Lou Hagerty at jpresken@cs.cmu.edu to arrange reservations at the university rate.

===Registration===

Registration is now open

* You can register at http://isri.cmu.edu/events/ifip-wg211-13.html.

* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee breaks.

* Payment is to be made by credit card. Please contact Christian if you need to pay by some other means.

* When registering, remember to either add yourself to the list of attendees or send an email to Eric Van Wyk [[mailto:evw@cs.umn.edu]]. If you are giving a talk, please either edit the wiki and add your topic to the list below (members only) or email Eric.

'''Deadline to register is February 16, 2014'''

===Attendees===

Sandrine Blazy, Jacques Carette, Charles Consel, William Cook, Franz Franchetti, Kevin Hammond, Atsushi Igarashi, Christian Kaestner, Samuel Kamin, Ralf Lämmel, Julia Lawall, Christian Lengauer, Mohammadreza Mousavi, Markus Püschel, Christoph Reichenbach, Tiark Rompf, Sven-Bodo Scholz, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Walid Taha, Eric Van Wyk, Eelco Visser.

===Talks===

If you are giving a talk, edit the wiki (members only), or email Christian the title and the abstract:

Talks:

* [[WG211/M13Blazy | Compiling avionics software with a formally verified compiler]] Sabrine Blazy
* [[WG211/M13Franchetti | High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification]] Franz Franchetti
* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond
* [[WG211/M13Lengauer | News from Project ExaStencils]] Christian Lengauer
* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi
* [[WG211/M13Schultz | Object-oriented multi-stage programming]] Ulrik Schultz (short talk)
* [[WG211/M13Visser | Type System Specification in Spoofax]] Eelco Visser
* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel
* TBD, Markus Püschel
* [[WG211/M13VanWyk | TBD]] Eric Van Wyk
* TBD, Chung-chieh Shan
* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner
* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]] Christoph Reichenbach

===Overall schedule===

The meeting is in GHC 4405. That's building 9B (Hillman Center) on the campus map above. The room is near the entrance from Forbes Ave.

There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds.
Overall schedule including lunch and dinner arrangements (first draft):

Monday (8 talks)
* 8.30-9.15: Welcome
* 9.15-10.00: Talks (1)
* 10.30-12.00: Talks (2)
* Lunch
* 13.30-15.00: Talks (2)
* 15.30-17.00: Talks (2)
* 18:25: meet in hotel lobby
* 18:30: take taxis to dinner

Tuesday (6 talks, business meeting)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch
* 13.30-15.00: Talks (2)
* 15-30-17.00: Business meeting
* 18:25: meet in hotel lobby
* 18:30: walk to dinner

Wednesday (6 talks, excursion)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Afternoon excursion:
* Lunch
* 13.30-14.30: Short Talks (2)
** 14:30: Shuttle to Warhol Museum
** 15:00 Tour the [http://www.warhol.org Warhol Museum]
** 17:00: Shuttle to Mt Washington, ride the Incline
* 18:00: Dinner

Thursday (4 talks)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch

Optional extra excursion:
* Visit the [http://www.nationalityrooms.pitt.edu/ Nationality Rooms] and go up to the 36th floor ([http://www.tour.pitt.edu/webcams/cl_cam view]) in the Cathedral of Learning (near campus, entrance free, guided tours available)
* Visit the [http://www.cmoa.org/ Carnegie Museums of Art and Natural History] (next to campus, 18 USD)
* Visit the [http://phipps.conservatory.org/ Phipps Conservatory] (next to campus, 15 USD)

=== Sharing a taxi from the airport to the hotel ===
* Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.

Kevin Hammond, Arriving Sunday 1806 flight US0787 from Charlotte, NC (CLT)

=== Sharing a taxi from the hotel or university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.

* Eric Van Wyk - arriving Sunday night at 11:00pm

=== Sunday trip to Fallingwater ===

Fallingwater is a house designed by architect Frank Lloyd Wright in 1935. It's a place worth visiting and roughly a 75-minute drive away from Pittsburgh. There are guided tours through the house. See http://www.fallingwater.org/ and https://en.wikipedia.org/wiki/Fallingwater for details.

For those arriving already on Saturday, we could rent a car/bus and arrange a trip to Fallingwater on Sunday March 16. The tour costs $23 and shared costs for the trip are probably $10-$25 per person. In a previous poll we had a number of people interested. If your interested, leave your name below and Christian will contact you for a more detailed organization two weeks before the meeting.

Sabrine Blazy, Ulrik Schultz