Framework for the presentation day
-----------------------------------------------

Introduction (non-technical) (45')
- what Wolfgang said
- related work according to reviewers (who are known in advance)
- picture introducing some deliverables
- results
  presented by Amsterdam (Mar or Frank)

Detailed Parts: (2 x 45')
- modeling D1+D3
  presented by Amsterdam and Vienna (distribution undecided)
  presentation of Asbru
  talking about the anomalies found
  supporting talk
- formal semantics (D2) + verification (D3', D4)
  presented by Augsburg

Final presentation (looking into the future) (30')
- suppose we had the technology integrated
- possible applications
  presented as a dialog of Kitty & Augsburg

Dates:
Friday	24th January (not so good for Kitty)
Thursday	6th February
Friday	7th February
February is much more prefered.

telephone conference on Monday 13th January 13:00
and distribute presentations until Friday before