Agenda for workshop in Genova

[hussmann@inf.tu-dresden.de]

Agenada for the

CoFI-Reactive Workshop
Universita di Genova
February 5-7, 2000

Below is the slightly adjusted agenda of our workshop 
(which will start in two days from now).

Saturday, 5 Feb

14:30  start of the meeting, brief status report
14:30-16:00  presentation of potential extensions to CASL
- Gianna Reggio: CASL-LTL and CASL-Charts
- Alexandre Zamulin/Hubert Baumeister: State-based extensions
- Markus Roggenbach: Brief report on ideas from Bremen
16:00 coffee break
16:30-18:30  
- discussion of the contributions
- planning for the next day
20:00 joint dinner

Sonday, 6 Feb

all day: (possibly parallel) groups working on current issues and
documents, in particular:
- static aspects of CASL/UML/OCL integration
- dynamic aspects of CASL/UML/Statecharts integration

Monday, 7 Feb

09:00-12:00  
- wrap-up of results from previous day
- discussion of further activities
- planning for workshops in Berlin and Edinburgh
12:00  end of the meeting