However, this message was apparently posted only to the obsolete newsgroup comp.specification, so I thought it worth forwarding. There follows a call for papers for a Methods Integration Workshop to be held in Leeds, UK in March 1996. There will soon be a WWW page relating to the workshop and an announcement regarding its location will be put out on this list. The Methods Integration Workshop will be held at Leeds Metropolitan University on 25 and 26 March 1996. The Workshop will include both technical presentations and working groups with active participation.
Industrial experience reports.
These may be much shorter, and need not give so much technical detail. Proposals for tool demonstrations are also welcome. Integrating formal methods with object-oriented analysis and design methods. Three copies of full, original papers should be sent to the Programme Chair. Proposals for tool demonstrations should be sent to one of the Organising Chairs, stating hardware and software requirements.