1st BCS-FACS Northern Formal Methods Workshop

Ilkley, UK. 23rd - 24th September 1996.

Advances in Databases and Information Systems '96

Moscow. 10th - 13th September 1996.

BCS-FACS Workshop on Formal Aspects of the Human Computer Interface

Sheffield, UK. 10th - 12th September 1996.

Designing Correct Circuits

Sweden. 2nd - 4th September 1996.

Interfaces to Databases

Edinburgh, UK. 8th - 10th July 1996.

BCS-FACS 7th Refinement Workshop

Bath, UK. 3rd - 5th July 1996.

Communication Modeling - The Language / Action Perspective

Tilburg. 1st - 2nd July 1996.

Methods Integration Workshop

Leeds, UK. 25th - 26th March 1996.