Saturday, March 27th
| 9:00 - 17:00 | ERCIM workshop on programming languages |
Tutorials |
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 |
|||