From WG 2.11
Jump to: navigation, search

IFIP WG2.11, meeting schedule

IFIP Working Group 2.11 Fifth Meeting
August 20-22, 2007, Copenhagen, Denmark.

Business meeting

There will be a business meeting late Monday afternoon (August 20) for members only. The discussion will include the following administrative matters:

  • Should we collocate the meeting in 2008 with the WC conference?
  • Should we hold the meeting at all at this meeting?
  • Should we hold the meeting each 14 months instead of each 10?
  • Election of chair and vice chair.

Travel information

Some information about getting to the hotel is available [here].



10:30-11:00: Break
12:00-14:00: Lunch
  • Gunter Kniesel: Reusability of Software Transformations
  • Ulrik Pagh Schultz: Domain-Specific Languages for Physically Interlocked Systems (aka modular embedded systems with interlocking physical connectors)
  • Eric Van Wyk: Composable Specifications of Syntax and Semantics for Extensible Languages
15:30-16:00: Break
16:00-17:30: Business meeting


10:30-11:00: Break
  • Christian Lengauer: Feature Algebra
  • Harold Ossher: Lightweight Program Generation to support Faceted Objects
12:00-14:00: Lunch
14:00-16:00: Discussion groups (see web page)

16:00-16:30: Break

After dinner
  • Excursion to Copenhagen

10:30-11:00: Break
11:00-12:00: Demos
  • Eric Van Wyk: ableJ extensible Java framework.
12:00-14:00: Lunch
14:00-16:00: General discussion


How reusable are transformation modules?

Discussion proposed by Gunter Kniesel

Due to the success of Model Driven Engineering, transformations are becoming increasingly important as strategic softare artefacts. Therefore, their cost-effective development is crucial. However, my personal impression of the transformation approaches that I know is that they do not really support as-is reuse of transformation modules. I'd like to present a simple reuse scenario that illustrates my point and would like to ask the audience for their solutions in any approach that they know. The aim is to compile a list of reuse challenges and classify the existing approaches according to which challenges they are able to cope with.

Advantages and weaknesses of the industrial program generation approaches


Discussion proposed by Christoph Herrmann


This discussion will consider problems of industrial software generation and alternative approaches that provide automised, adaptable and scalable solutions regarding verification, correctness by construction, contracts, safety and resource guarantees. Please feel free to extend this description with topics that seem relevant.

Staging calculi

Discussion proposed by Oleg Kiselyov and Chung-chieh Shan <p>

Many formal calculi for staged programming have evolved over the last couple of decades. Some are typed; some support `run'; some allow cross-stage persistence; some are call-by-name and others are call-by-value; some are specified with big-step operational semantics and others with small-step. With hindsight, we should make these calculi more uniform and their features more orthogonal to each other, so that they are easier to study, mechanize, and extend (for example, to add side effects).

This discussion will aim to:

  • compile a definite reference to staged calculi, to reduce rummaging through the literature: which calculus supersedes which, and how do they compare?
  • design, with the benefit of hindsight, a common calculus or calculi substrate, which at least shares notation, and to which features such as `run' can be added or removed;
  • design calculi that are good models of real implementations such as MetaOCaml;
  • compile a database of mechanized calculi.

Registration information

The fifth meeting will take place at the [Drag�r Badehotel].


In the second half of the same week, the [14th International Static Analysis Symposium] will take place just outside of Copenhagen.


For payment of the registration fee there are two options:

  • Payment by credit card. In this case, the cost will be $375. The registration form is available [here]. <p>
  • Payment by bank transfer. In this case, the cost will be 2000 Danish Kroners.

If you would like to pay by bank transfer, you should take the following into account:

  • The IBAN number is DK263000 4180 720278. The SWIFT code is DABADKKK. The bank is Danske Bank. <p>
  • You must pay all associated fees, both for the sender and the receiver. You will need to check with your bank about how to do that. <p>
  • You should clearly indicate that the receiver is "Julia Lawall -- IFIP working group". <p>
  • If you register by bank transfer, send me an e-mail (julia @ diku.dk) letting me know that you have done so, and letting me know of any dietary preferences or other constraints.

Please register as soon as possible. <p>

When you register, you should consider reserving your hotel room as well. Please send your requirements to julia @ diku.dk. The hotel is very near the airport, so if you can get a night flight, it should be possible to leave directly on the last day of the meeting.


Edwin Brady, Charles Consel, Olivier Danvy, Ewen Denney, Bernd Fischer, Robert Glueck, Kevin Hammond, Christoph Armin Herrmann, Oleg Kiselyov, Gunter Kniesel, Ralf Lammel, Julia Lawall, Christian Lengauer, Harold Ossher, Laurent Reveillere, Ulrik Pagh Schultz, Peter Sestoft, Chung-chieh Shan, Yannis Smaragdakis, Jorg Striegnitz, Eric Van Wyk, Eelco Visser

File Attachments