From WG 2.11
Jump to: navigation, search

IFIP Working Group 2.11, Seventeenth Meeting

July 17-20, 2017 in Koblenz, Germany.

The meeting will be held in Koblenz, Germany, hosted by Ralf Lämmel (University of Koblenz-Landau).

The meeting will last 3.5 days; the first three days (July 17-19) will be full-day, whereas the last day (July 20) will be a half-day session. Recommended arrival is afternoon/evening of Sunday 16 July. Recommended departure is noon Thursday 20 July.


The meeting will take place at Contel Hotel Koblenz (Google Maps). The hotel is right at the Mosel River, it is less than 1km from the most beautiful parts of the old city. If the weather is nice, you can walk to the hotel from the main station. Otherwise, get on the bus (3/13, direction Güls) and get off after 9mins at Ludwig-Erhardt-Str. The deal for the conference hotel assumes that we are also booking rooms in the same hotel.


Frankfurt Airport is well connected to Koblenz. Terminal 1 is connected to the regional and inter-city/express train station. From the train station there is an hourly service to Koblenz. You may need to change trains in Mainz. The journey by train takes about 70 minutes. You should buy the train ticket online. Alternative airports include Cologne-Bonn Airport and Hahn Airport both with similar journey times. The Koblenz main train station is 2.3km from the conference hotel, several public transportation options are available; in particular: bus 3/13, direction Güls, station Ludwig-Erhardt-Str., travel time 9mins.


The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

The price for a hotel room is 90 Euro per night incl. VAT and breakfast. (Note: If you travel with spouse, the price is 106 Euro instead, subject to change).

Please reserve your hotel room by email: hotel@contel-koblenz.de

Please cc laemmel@uni-koblenz.de so that the local organizer is aware of your booking and can assist.

You need to mention "IFIP WG 2.11" in the email reservation, and you need to mention arrival and departure dates explicitly: arrival should be Sunday 16 July, departure should be Thursday 20 July.

Here is a cleverly crafted hotel reservation mailto link that includes the relevant information.


To register add your name to the attendance list below (or email a chair-person to have it added for you) and reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.

You pay in two parts.

Part I: Conference facilities

(Note: If you travel with spouse, this part is not relevant for your spouse.)

Assuming you stay for the full period, you will pay 203 Euro with your hotel bill, to cover the related conference services.

For example: you stay 16-20 July (4 nights). Your hotel bill will be 90*4+203=563 Euro.

This covers use of conference facilities, refreshments, and lunch.

Part II: Catering and social events

(Note: If you travel with spouse, this part is relevant for your spouse, if she/he wants to take part.)

In addition to the hotel, each participant needs to pay an extra 147 Euro to "Landeshochschulkasse Mainz" (see below).

You can pay by bank transfer or cash onsite.

This covers all the social events.

You will receive an official receipt for the registration fee onsite. The receipt will specify a single amount as your registration fee for participating in the meeting.

Payment details if you opt for bank transfer (rather than cash onsite):

  • Amount: 147 Euro
  • Account holder: Landeshochschulkasse Mainz
  • Bank: Deutsche Bundesbank Filiale Mainz
  • IBAN: DE25 5500 0000 0055 0015 11
  • BIC: MARKDEF1550

You must include this note to payee: 6501Ko/1509-28202/5142128

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.


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

Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th, leaves 20th at 11), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, Friedrich Steimann, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.


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 July 17:

  • 8.45-9.00: Welcome
  • 9.00-10:30: 2 talks
    • Jacques Carette: Multi-lingual code generation in Drasil
    • Yannis Smaragdakis: Stream Fusion, to Completeness
  • 10:30-11:00: Break
  • 11:00-12:30: 2 talks
    • Yukiyoshi Kameyama: Environment Classifiers, Revisited
    • Vadim Zaytsev: Succeeding at Impossible Industrial Projects with Generative Technologies
  • 12:30-14.15: Lunch (break)
  • 14.15-15.00: 1 talk
    • Friedrich Steimann: Transactional Editing: Giving ACID to Programmers
  • 15.00-15.30: Break
  • 15.30-16:15: 1 talk
    • Stefan Marr Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging
  • 16.50: meet in hotel lobby and start walking at 17:00 to social event

Tuesday July 18:

  • 9.00-10.30: 2 talks
    • Jeremy Yallop: Staged Generic Programming
    • Atsushi Igarashi: Towards gradually typed multi-stage programming
  • 10.30-11.00: Break
  • 11.00-12.30: 2 talks
    • Nada Amin: Collapsing Towers of Interpreters
    • Bruno C. d. S. Oliveira: Semantic Modularization Techniques in Practice: A TAPL case study
  • 12.30-14.15: Lunch (break)
  • 14.15-15.00: 1 talk
    • Chung-chieh Shan: Inference building blocks
  • 15.00-15.30: Break
  • 15.30-17.00: Business meeting (members only)
  • 17.15: Social event

Wednesday July 19:

  • 9.00-10.30: 2 talks
    • Markus Püschel: Program generation for small linear algebra
    • Armando Solar-Lezama: Type system support for template based synthesis
  • 10.30-11.00: Break
  • 11.00-12.30: 2 talks
    • Stefan Kronawitter, Christian Lengauer: The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization
    • Ulrik Pagh Schultz: Safety as a Programming Language Concept
  • 12.30-14.15: Lunch (break)
  • 14.15-15.45: 2 talks
    • Christoph Reichenbach: Adding an extensible backend to PQL/Java
    • Eric Van Wyk: Extensible and composable type qualifiers in AbleC
  • 15.45-16:15: Break
  • 18:15: meet in lobby to walk or bus to social event
  • 18:45: Social event

Thursday July 20:

  • 9.00-10.30: 2 talks
    • Robert Glück An experiment in ping-pong protocol verification by pushdown automata
    • Paul Kelly Domain-specific optimisation of finite-element integration loops – and what we learned
  • 10.30-11.00: Break
  • 11.00-11.45: 1 talk
    • Ralf Lämmel Systematic comparison of metaprogramming technologies
  • 12.00: Lunch

Social events

  • Sunday 16 July; 6pm - ...
  • Monday 17 July; 4.50-8pm
    • meet in hotel lobby at 4.50pm to start walking at 5.00pm
    • Planwagentour ("mobile wine tasting") in Winningen mit Winzermeister Fries
  • Tuesday 18 July; 5.15-7pm
  • Tuesday 18 July; 7.30-10pm
  • Wednesday 19 July; 6.45-11pm
  • Thursday 20 July; 12.30-1.30pm
    • Lunch in the city center: Restaurant Aubergine (close to the train station)

Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.


TripAdvisor provides some fairly "exhausting" list of local attractions. One thing to keep in mind is that Koblenz is a wine region. Magically, both the Mosel river and the Rhine river meet right at Deutsches Eck ("German Corner"). Koblenz has a beautiful old city. One is supposed to visit nearby castles, fortresses -- many of them along the rivers (mainly the Rhine river). Such visits may be very well done on a (rented) bike. For instance, one should strive for Lorelei (a rock). If you should run out of ideas, you could still go to Bonn and Cologne.