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

=== 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, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, 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), Jacques (arriving Saturday evening via Osaka), Jeremy (arriving Saturday).

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

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]

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

2015-10-25T23:44:34Z

Tony: Created page with "''Respect Your Parents: How Attribution and Rewriting Can Get Along'' Anthony Sloane, Macquarie University Attribute grammars describe how to decorate static trees. Rewriting s..."

2012-05-30T16:54:38Z

Tony: Add talk for Tony Sloane

[[Category:WG211]]

=IFIP Working Group 2.11, Eleventh Meeting=
==June 25-27, 2012, Halmstad, Sweden==

===Venue and Travel===

The meeting will be held at Halmstad University in Sweden, June 25-27, hosted by Walid Taha. '''Registration and hotel booking deadline: May 7th.''' The meeting starts June 25th in the morning, and ends with a lunch on June 27th.

For accommodation, you are recommended the Hotel Mårtensson. To get a special rate of SEK 928/night including breakfast and VAT, booking '''must''' be made by either by e-mail to malin.nilsson@firsthotels.se or by phoning them, tel: +46 35 17 75 75, as this is a group arrangement. Use the booking code sent to you by email (contact [[mailto:ups@mmmi.sdu.dk Ulrik Schultz ]] if you do not have it.) To get this rate, you must book by May 7th, and you should not book through the hotel's web page (but by email, as described above). If you want more information or review other booking options, please see [http://www.firsthotels.com/Our-hotels/Hotels-in-Sweden/Halmstad/First-Hotel-Martenson/ http://www.firsthotels.com/Our-hotels/Hotels-in-Sweden/Halmstad/First-Hotel-Martenson/].

The official directions for getting to campus can be found [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html here]. To simplify matters, if you are flying in internationally you might find it easiest to fly into Copenhagen (CPH) airport, which is locally known as Kastrup (as on the instructions on the above mentioned page). The best thing about flying into CPH is that you just buy a train ticket and take a train to Halmstad when you arrive. The train leaves from the airport itself. Once in Halmstad, everything is either in walking distance or a short cab ride away. Usually there are cabs at the station, but in case there are none there is a little phone that connects directly to the local taxi company.

Note that CPH is in Denmark, which is a different country. So, if you need visas for European countries, make sure you get one that works for both. If for some reason you cannot or do not want to use CPH, the next best international airport is in Gothenburg (GOT), locally known as Landvetter. The tricky thing about using that airport is that you would first have to take a 45 minute shuttle from the airport to the Gothenburg train station, and then take the train to Halmstad. That's one transfer and one wait.

===Related events===

The workshop on Reversible Computing [http://www.reversible-computation.org RC 2012] is located in Copenhagen the week after, July 2-3.

===Registration===

Registration is done using Paypal, deadline is May 7th, and the registration fee is SEK 2500. Link is available in the left-hand column on this page. Registration covers lunch, dinners, coffee breaks, and transportation for an excursion.

Please remember to either add yourself to the list of attendees or send an email to [[mailto:ups@mmmi.sdu.dk Ulrik Schultz ]]. If you are giving a talk, please either add your topic to the list below or email Ulrik.

===Attendees===

Sven Apel (Monday+Tuesday), Emilie Balland, Eric Bodden, Edwin Brady, Anthony Cleve (Monday+Tuesday), Olivier Danvy, Ewen Denney, Bernd Fischer, Robert Glueck, Gorel Hedin, Christoph Herrmann, Christian Kaestner, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell (talk Monday or Tuesday), Markus Puschel, Klaus Ostermann, Morten Rhiger, Ina Schaefer, Sven-Bodo Scholz, Ulrik Schultz, Tony Sloane, Jorg Striegnitz, Walid Taha, Eelco Visser, Eric van Wyk

===Talks===

If you are giving a talk, email Ulrik the title and the abstract. Alternatively, if you have access to the wiki, add it yourself following the examples below:

Talks:
* [[WG211/M11Apel | Product-Line Analysis: Experience and Prospects]] Sven Apel (Monday/Tuesday)
* [[WG211/M11Balland | Design-driven Development of Dependable Applications: A Case Study in Avionics]] Emilie Balland
* [[WG211/M11Bodden | IFDS/IDE-based Inter-procedural Static Analysis of Software Product Lines]] Eric Bodden (Monday/Tuesday)
* [[WG211/M11Brady | Implementing Domain Specific Languages by Syntax Overloading]] Edwin Brady
* [[WG211/M11Glueck | Bootstrapping compiler generators from partial evaluators]] Robert Glueck
* [[WG211/M11Hedin | Parameterized reference attributes: examples and properties]] Gorel Hedin
* [[WG211/M11Kaestner | Variability Mining]] Christian Kaestner
* [[WG211/M11ODonnell | Generating Debuggers and Fast Simulators from Functional Circuit Specifications]] John O'Donnell
* [[WG211/M11Schaefer | Incremental model-based testing of software product lines]] Ina Schaefer (Tuesday/Wednesday)
* [[WG211/M11Sloane | Profile-based Analysis and Abstraction of Attribute Evaluation]] Tony Sloane
* [[WG211/M11Visser | Declarative Language Definition (in Spoofax)]] Eelco Visser
* [[WG211/M11Schultz | Reversible Interpretation in Modular Robots]] Ulrik Schultz

Overall schedule: TBD