WG211/M6Schedule

From WG 2.11
Jump to: navigation, search


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:

<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


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. <p> [-[1][Talk title]-]
Name Plan to talk for 20-30 minutes.

Thursday morning, 8:45-12:10

<p> [Code Generation by Model Transformation]
Eelco Visser


<p> [Strategic Programming by Model Interpretation and Partial Evaluation]
William Cook


<p> [Is there a 4th Futamura projection?]
Robert Gl�ck


<p> [Combining Attribution and Rewriting]
Anthony M. Sloane

Thursday afternoon: 14:30-17:00

<p> [Developing a useful DSL for programming modular robots]
Ulrik P. Schultz


<p> [A derivational explanation of circular programming]
Olivier Danvy

<p> [The Expression Lemma]
Ralf Lämmel

Business meeting, 17:00-18:00

Friday morning, 9:00-12:10


<p> [Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services]
Charles Consel


<p> [Sublanguages for generating digital circuits]
John O'Donnell

<p> [Generating Customized Verifiers for Automatically Generated Code]
Ewen Denney and Bernd Fischer


<p> [Recent Developments in Feature-Oriented Software Development]
Sven Apel


Friday afternoon: 2:30-18:00


<p> [Discussion: What are the important issues in research on domain-specific languages?]
Julia Lawall

<p> [Discussion: Whether or not to (and how to) set up a related teaching repository?]
Ralf Laemmel


Saturday morning, 9:00-12:10

<p> [A model-based framework for statically and dynamically checking component interactions]
Anne Francoise Le Meur


<p> [You can throw a loop a curve]
Armin Groesslinger


<p> [Correct-by-construction concurrency]
Edwin Brady


<p> [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]

File Attachments