Difference between revisions of "WG211/M17Schedule"
(→Attendance) |
(→Talks) |
||
Line 92: | Line 92: | ||
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]] | * Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]] | ||
* Anthony Sloane [[WG211/M17Sloane | Formalisation of attribute grammar evaluation ]] | * Anthony Sloane [[WG211/M17Sloane | Formalisation of attribute grammar evaluation ]] | ||
+ | * Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]] | ||
* Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]] | * Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]] | ||
− | * | + | * Vadim Zaytsev [[WG211/M17Zaytsev | Succeeding at Impossible Industrial Projects with Generative Technologies ]] |
== Program / schedule == | == Program / schedule == |
Revision as of 03:46, 28 June 2017
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.
Venue
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.
Travel
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.
Accommodation
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.
Registration
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.
Attendance
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), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (at least the first two days), Tony Sloane, Yannis Smaragdakis, Friedrich Steimann, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.
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.
- Nada Amin Collapsing Towers of Interpreters
- Jacques Carette TBD
- Bernd Fischer Breaking Parsers
- Robert Glück An experiment in ping-pong protocol verification by pushdown automata
- Ralf Lämmel Systematic comparison of metaprogramming technologies
- Christian Lengauer, Stefan Kronawitter The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization
- Stephan Marr Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging
- Markus Püschel TBD
- Christoph Reichenbach TBD
- Ulrik Pagh Schultz Safety as a Programming Language Concept
- Anthony Sloane Formalisation of attribute grammar evaluation
- Yannis Smaragdakis Stream Fusion, to Completeness
- Eric Van Wyk Extensible and composable type qualifiers in AbleC
- Vadim Zaytsev Succeeding at Impossible Industrial Projects with Generative Technologies
Program / schedule
Scientific program
The schedule will be posted here at the start of the meeting.
Social events
- Sunday 16 July; 6pm - ...
- Informal meeting at Kaffeewirtschaft
- Monday 17 July; 5.30-8pm
- Planwagentour ("mobile wine tasting") in Winningen mit Winzermeister Fries
- Tuesday 18 July; 6-7pm
- Guided city tour in Koblenz mit Koblenz Touristik
- Tuesday 18 July; 7.30-10pm
- Dinner at Weingut Schwaab in Güls
- Wednesday 19 July; 5.30-11pm
- Dinner at Weindorf Koblenz
- Thursday 20 July; 12.01-1.30pm
- Lunch in the city center
Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.
Excursion
Here are some suggestions for things people might do if they extend their stay by a day or two.
- Rent a bike and explore Mosel and Rhine rivers
- Get to see some of the many nearby castles and fortresses
- Visit Loreley
- Give a talk at the CS department
- ...