Saturday, March 27th

9:00 - 17:00 ERCIM workshop on programming languages


CoFI workshop, beginning with 1.5 hour presentation

K. Jensen (Aarhus University)

Modelling, validation and verification by means of coloured Petri nets

T. Margaria (Univ. of Dortmund),

Verification of parametric systems or monadic 2nd order logic in practice

E.A. Emerson (Univ. of Texas, Austin),

Model checking

[Saturday, Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday,Sunday]