The HCM project De Stijl

M E E T I N G S

The next DeStijl meeting will be held at DTU in Lyngby in May 1998.

The last De Stijl meeting took place at the University of Munich. Date: 27/28 October 1997.

The schedule:

Monday October 28 - Morning Session

9:30 - 13:00: project meeting (part I)

Monday October 28 - Afternoon Session

15:00 - 15:45 Claus Pahl: Facilitating Behaviour-Preserving Language Extensions by using Templates based on Semantics Extensions
15:45 - 16:30 Erik Saaman: Using Monads in Algebraic Specification
16:30 - 17:15 Coffee break
17:15 - 18:00 Christian Prehofer: Towards Modular Specifications of Complex Objects via Feature Composition
18:00 - 18:45 Bo Stig Hansen: Extensible, algebraic language definitions

Tuesday October 29 - Morning Session

9:30 - 10:15 Andrew Butterfield: Recent and Future work in TCD
10:15 - 11:00 Pietro Cenciarelli: Notions of Composition
11:00 - 11:30 Coffee break
11:30 - 13:00 project meeting (part II, wrapping up)

The De Stijl meeting at Trinity College in Dublin (Department of Computer Science, O'Reilly Institute) took place on November 30 and December 1 1996.

The schedule:

Saturday November 30 - Afternoon Session

2.30 - 3.15 Pietro Cenciarelli: Introduction to monads and applications
3.15 - 3.30 Coffee
3.30 - 4.15 Peter Mosses: The Common Framework Initiative for Algebraic Specification
4.15 - 5.00 Tineke de Bunje: Modelling Multi Media API - how to combine views?
5.00 - 5.15 Coffee
5.15 - 6.00 Andrew Butterfield: Work in Dublin
6.00 - 6.45 Claus Pahl: Towards a Theory of Formal Language Engineering

Sunday December 1 - Morning Session

9.00 - 9.45 Pietro Cenciarelli: Strictness through computational types
9.45 - 10.30 Erik Saaman: Syntax and Semantics of AFSL
10.30 - 10.45 Coffee
10.45 - 1.00 De Stijl project meeting