IFIP Working Group 2.11 Sixth Meeting
June 19-21, 2008, Passau, DE.
- 1 Registration
- 2 Accommodation
- 3 Registered Attendees (as of May 14)
- 4 Schedule
- 5 Transportation
- 6 Meeting location
- 7 Program
- 8 Business meeting
- 9 Pictures, etc.
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.
We have made the following room reservations:
<a href="http://www.ichotelsgroup.com/h/d/hi/1/en/home"> Holiday Inn</a> (tel: +49/851/59000): 30 rooms (single: EUR 81, double: EUR 95.50). Use the keyword "Uni Passau" when contacting the hotel.
<a href="http://www.weisser-hase.de"> Hotel Weisser Hase</a> (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
The meeting will begin on the morning of Thursday, June 19 and end early in the afternoon of Saturday, June 21.
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).
- 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.
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.
Name Plan to talk for 20-30 minutes.
Thursday morning, 8:45-12:10
[Code Generation by Model Transformation]
[Strategic Programming by Model Interpretation and Partial Evaluation]
<p> [Is there a 4th Futamura projection?]
[Combining Attribution and Rewriting]
Anthony M. Sloane
Thursday afternoon: 14:30-17:00
[Developing a useful DSL for programming modular robots]
Ulrik P. Schultz
<p> [A derivational explanation of circular programming]
[The Expression Lemma]
Business meeting, 17:00-18:00
Friday morning, 9:00-12:10
<p> [Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services]
[Sublanguages for generating digital circuits]
[Generating Customized Verifiers for Automatically Generated Code]
Ewen Denney and Bernd Fischer
[Recent Developments in Feature-Oriented Software Development]
Friday afternoon: 2:30-18:00
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]
[The impact of Haskell's type families on DSL implementations with strong resource guarantees]
Thursday afternoon, after the talks