There are several other
organisations with an interest in formal methods.
The BCS was formed in 1957, obtained its royal charter in 1984 and became an Engineering Institution in 1990. It offers the professional grades of Member (MBCS), Fellow (FBCS) and Chartered Engineer (CEng). It has 33,000 members worldwide.
The BCS publishes the Computer Bulletin - for Information System Professionals - 6 issues per year and the Computer Journal - adopted by the Council of Professional Informatics Societies - 10 issues per year.
Address: 1 Sanford Street, Swindon, SN1 1TG
Tel: 01793 417417 Fax: 01793 480270
The BCS is a registered charity : No 292,786
You can visit the BCS's own Web pages
FACS & FME produce a joint newsletter FACS-Europe.
You can visit FME on the
Web.
FME Officers:
Subscription details... see BCS-FACS
subscription.
EATCS organises the annual international ICALP conferences. It publishes its BULLETIN 3 times a year in A5 format with up to 500 pages per issue which aims to provide rapid publication and wide distribution of relevant material. EATCS also publishes the journal "Theoretical Computer Science".
You can go and look at the EATCS's
own Web pages
You can go and look at the details of BCTCS13, 24-26 Mar 1997 University of Sheffield
You can go and look at the AMAST
homepage or visit the links
page and choose the first (latest) hypertext ToC page for a diary of current
and forthcoming events.
ZUG organizes the regular International Conference of Z Users (aka the Z User Meeting), with support from BCS-FACS
Back to FACS Home page
comments/enquiries to: facs@lboro.ac.uk