FME 2001: Berlin, Germany

Invited Talk

Proof and Model-checking

Model Checking

Security

Agent Architectures

Invited Talk

Object-Oriented Formal Modelling

Real Time Systems

Concurrency and Parallelism

Logic and Foundations

Invited Talk

Formal Techniques in System Testing

Case Studies, Tools and Verification Experiments

Information Maintenance and Refactoring

Combining Strategies