IFIP Working Group 2.11 Sixth Meeting
June 19-21, 2008, Passau, DE.

Registration

Meeting Fee: EUR 160, payable by credit card or money transfer (payment page). This includes breaks and meals.

In order to plan the meeting, we would like your firm registration deadline by May 18. Hotel rooms are being held until then. If you plan a talk, please enter a title and abstract on the WG's Web site.

Accommodation

We have made the following room reservations:

Holiday Inn (tel: +49/851/59000): 30 rooms (single: EUR 81, double: EUR 95.50). Use the keyword "Uni Passau" when contacting the hotel.

Hotel Weisser Hase (tel: +49/851/92110) 8 single rooms (single: EUR 69, double: EUR: 99). Use the keyword "WG 2.11" when contacting the hotel.

These and other hotels are in walking distance of the university. Please book directly.

Registered Attendees (as of May 14)

Apel, Brady, Consel, Cook, Danvy, Denney, Fischer, Glueck, Groesslinger, Hammond, Herrmann, Laemmel, Lawall, Le Meur, Lengauer, Moggi, O'Donnell, Schultz, Sloane, Striegnitz, Visser

Schedule

The meeting will begin on the morning of Thursday, June 19 and end early in the afternoon of Saturday, June 21.

Transportation

If you come from overseas, fly into Frankfurt and take the train. The ride is about 4 hours on the major East-West train line from Basel to Budapest.

If you come from somewhere in Europe, fly to Munich and take the train. This is a local line, and the ride is about 2 hours. To get to the train, you should take a bus from the airport to Freising. You can get train tickets at the central area of the airport. This covers the bus as well.

More information about travel from both the Frankfurt airport and the Munich airport is available here. Please ignore the hotel information on this page.

It is also possible to fly to Vienna and then take a direct train to Passau (3 hours). To get to the train, take a bus from the airport to the train station Vienna West (German: Wien West).

Meeting location

* passaumap.pdf: Map to the meeting location (20 minute walk from the Holiday Inn)

The upper hand-drawn circle marks the location of the Holiday Inn, the lower circle (at number 9) the informatics building, in which the meeting will take place.

Program

The program will start on Thursday, June 19, 9 a.m. and end on Saturday, June 21, after lunch.

To enter your title and abstract, instantiate a copy of the code below, removing the -s between the and, and filling in your name and the talk title. If you click on the link, it should give you the option to create a page on which you can enter your abstract.

[-[http://smart-generators.org/M6Name*][Talk title]-]
Name

Plan to talk for 20-30 minutes.

Thursday morning, 8:45-12:10

Code Generation by Model Transformation
Eelco Visser

Strategic Programming by Model Interpretation and Partial Evaluation
William Cook

Is there a 4th Futamura projection?
Robert Glück

Combining Attribution and Rewriting
Anthony M. Sloane

Thursday afternoon: 14:30-17:00

Developing a useful DSL for programming modular robots
Ulrik P. Schultz

A derivational explanation of circular programming
Olivier Danvy

The Expression Lemma
Ralf Lämmel

Business meeting, 17:00-18:00

Friday morning, 9:00-12:10

Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services
Charles Consel

Sublanguages for generating digital circuits
John O'Donnell

Generating Customized Verifiers for Automatically Generated Code
Ewen Denney and Bernd Fischer

Recent Developments in Feature-Oriented Software Development
Sven Apel

Friday afternoon: 2:30-18:00

Discussion: What are the important issues in research on domain-specific languages?
Julia Lawall

Discussion: Whether or not to (and how to) set up a related teaching repository?
Ralf Laemmel

Saturday morning, 9:00-12:10

A model-based framework for statically and dynamically checking component interactions
Anne Francoise Le Meur

You can throw a loop a curve
Armin Groesslinger

Correct-by-construction concurrency
Edwin Brady

The impact of Haskell's type families on DSL implementations with strong resource guarantees
Christoph Hermann

Business meeting

Thursday afternoon, after the talks

Pictures, etc.

Pictures from the excursion, by Robert Glück