M. Boreale (Univ. Rome "La Sapienza"), R. De Nicola, R. Pugliese (Univ. Florence): A theory of "may" testing for asynchronous languages

L. Aceto, A. Ing\'olfsd\'ottir (Aalborg University): Testing Hennessy-Milner logic with recursion

C. Roeckl (TU Munich), D. Sangiorgi (INRIA, Sophia Antipolis): A pi-calculus semantics of concurrent idealised Algol

A. Gordon, L. Cardelli (Microsoft Research, Cambridge): Equational properties of mobile ambients

W. Fokkink (Univ. Wales, Swansea), C. Verhoef (Univ. Amsterdam): Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories

D. Ancona, M. Cerioli, E. Zucca (Univ. Genova): A formal framework with late binding

A. Lopes, J. Fiadeiro (Univ. Lisbon): Using explicit state to describe architectures

T. Jones, L. Blair, G. Blair (Lancaster University), tool demo: A tool suite for multi-paradigm specification

G. Barthe (Chalmers, Gothenburg): Expanding the cube

N. Ghani, V. de Paiva, E. Ritter (Univ. Birmingham): Categorical models of explicit substitutions

M. Benke (Warsaw University): An algebraic characterization of typability in ML with subtyping