Programme of SFEDL

SATURDAY, April 3

09.00
09.10
Opening
09.10
10.00
Invited Talk

tba
Luca de Alfaro (UC Santa Cruz, USA)
10.00
10.30
Coffee

Semantics of Standard Engineering Design Languages
10.30
11.10
Semantics and Analysis of Instruction List Programs
R. Huuk (U. of NSW, Sydney, AU)
11.10
11.50
Combining Sequence Diagrams and OCL for Liveness
A. Cavarra (Computing Lab, Oxford, UK), J. Kuester-Filipe (LFCS, Edinburgh, UK)
11.50
12.30
Formalizing UML Models and OCL Constraints in PVS
M. Kyas, H. Fecher (U. Kiel, D) et. al
12.30
14.30
Lunch

Integrating Design Paradigms
14.30
15.10
Interacting Extended State Diagrams
G. Salaün (U. La Sapienza, Roma, I), P. Poizat (U. d'Évry, Val d'Essonne, FR)
15.10
15.50
A Heterogeneous Framework for Scenarios and State Machines
B. Sengupta (IBM, India), R. Cleaveland (SUNY at Stony Brook, USA)
15.50
16.30
Integrating Formal Semantics of Non-Concurrent Multi-Layered Communication Systems
R. G. Crespo (Techn. U. Lisbon)
16.30
17.00
Coffee

Advanced Theoretical Issues
17.00
17.40
An Algebraic Theory of Boundary Crossing Transitions
A. Ray, R. Cleaveland (SUNY at Stony Brook, USA), A. Skou (U. Aalborg, DK)
17.40
18.20
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing
A. Wasowski (ITU Copenhagen, DK)
18.20
18.30
Conclusion
Evening
Post-Conference Workshops Dinner