The maintopics covered by the joint workshop are:- specification languagesand program development- algebraic specification of concurrency- theorem proving- object-oriented specifications- order-sorted algebras- abstract implementation and behavioral semantics.

Algebraic specification of concurrency.- Objects and their specification.- The use of sorts in algebraic specifications.- Implementation and behavioural equivalence: A survey.- Relationships between logical frameworks.- Label algebras: A systematic use of terms.- How to specify non determinism and true concurrency with algebraic term nets.- Bounded implementation of algebraic specifications.- New concepts of amalgamation and extension for a general theory of specifications.- Nonequivalence of categories for equational algebraic specifications.- Process semantics of temporal logic specification.- The object-based specification language ?: concepts, syntax, and semantics.- Specifications with observable formulae and observational satisfaction relation.- Event logic for specifying abstract dynamic data types.- A soft stairway to institutions.- Generic classes in an object-based language.