There are several other organisations with an interest in formal methods.
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 75,000 members worldwide.
Address: First Floor, Block D, North Star House, North Star Avenue, Swindon, Wiltshire SN2 1FA, UK
Tel: +44 (0)1793 417417 Fax: +44 (0)1793 417444
The BCS is a registered charity: No 292,786
Formal Methods Europe (FME) is an international association for promoting and supporting the industrial use of formal methods in computer systems development. A major aim is to bring researchers and practitioners into close collaboration through a variety of initiatives, including the well established international Symposia held every eighteen months. In spite of its name, FME has members and activities outside the confines of Europe.
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.
The oldest Mathematical Society in Britain, LMS is an internationally recognised authority on mathematics, and home to many theoretical computer scientists. While the main goals of the Society are to promote mathematics, LMS is actively engaged with the theoretical computing community; in addition to maintaining a permanent Computer Science sub-committee, the LMS publishes the leading online journal Journal of Computation and Mathematics.
BCTCS is an annual workshop/conference organised by and for theoretical computer scientists. It is fondly regarded by theoreticians throughout the United Kingdom, and serves to give an especially excellent grounding for PhD students, with its air of inclusive debate. The Committee of BCTCS includes the local and national organisers responsible for immediately forthcoming meetings, and so varies from year to year.
Details of recent and forthcoming events are listed on the AMAST webpages.
AMAST 2004: http://www.cs.stir.ac.uk/events/amast2004/
The Safety-Critical Systems Club exists to raise awareness and facilitate technology transfer in the field of safety-critical systems. It is a non-profit organisation which cooperates with all bodies involved with or interested in safety-critical systems. Its sister organisation, the Software Reliability & Metrics Club, is a forum for the exchange of information between industrialists, researchers and consultants. Members learn from sharing experiences, learn about recent project results and participate in discussions on the theory and practice of software reliability and metrics.
ZUG organises the regular International Conference of Z Users (aka the Z User Meeting), with support from BCS-FACS. The group also supports activities concerning the Z notation in general.