Personnel and exchanges

Researchers and PhD students associated with CONFER at Cambridge include Adriana Compagnoni, Philippa Gardner, Ole Jensen, James Leifer, Robin Milner, Paola Quaglia, Peter Sewell, Asis Unyapoth and Pawe Wojciechowski.

During 96-97 Gardner and Sewell have given seminars at Sussex, and Sewell has visited Edinburgh. In November 97 Sewell spent a week with the INRIA-Rocquencourt group in discussions of distributed calculi and of labelled transition systems and bisimulation for arbitrary rewriting systems.