Programme of INT


SUNDAY, March 28

9.15
10.00
Opening
Hartmut Ehrig

UML-ising formal techniques
Dines Bjørner
10.00
10.30
Coffee
10.30
12.30
Formal models and safety engineering
Wolfgang Reif

Applied symmetry: LSC-verification for UML
Bernd Westphal

Using coloured petri nets in the development of protocols for ad-hoc networking
Lars Michael Kristensen

Synthesis of signal-net-models from specification
Gabriel Juhas
12.30
14.00
Lunch
14.00
16.00
Language and method independent integration of software specifications
Martin Grosse-Rhode

Formal viewpoint specification and consistency for object-oriented models
Gunnar Schröter

Systematic Development of Broadcasting Architectures using UML 2.0
Wolfgang Prenninger

How to describe a manufacturing system? A look from the point of software specification
Matthias Bengel 
16.00
16.30
Coffee
16.30
17.30
Invited lecture

Playing and smart playing with LSC
David Harel 
Evening Pre-Conference Workshops Dinner