BCS is a registered charity: No 292786
3rd Irish Workshop on Formal Methods
Galway, Ireland. 1st - 2nd July 1999
21st Annual BCS-IRSG Colloquium on IR
Glasgow. 19th - 20th April 1999
Glasgow, Scotland. 14th - 16th April 1999
Newcastle upon Tyne, UK. 25th - 26th February 1999