5. IWFM 2001:
: Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness.
: Multiprogram Design in the theory of Owicki and Gries.
: Observation and Abstract Behaviour in Specification and Implementation of State-based Systems.
, founded at