Related Organisations

There are several other organisations with an interest in formal methods.

BCS, The Chartered Institute for IT

BCS logoBCS 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.

BCS publishes ITNOW - for Information System Professionals - 4 issues per year and the  Computer Journal - adopted by the Council of Professional Informatics Societies - 10 issues per year.

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)

Formal Methods Europe (FME) LogoFormal 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.


FME Officers:

European Association for Theoretical Computer Science (EATCS)

European Association for Theoretical Computer Science (EATCS)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.

London Mathematical Society (LMS)

London Mathematical Society (LMS)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.


British Colloquium for Theoretical Computer Science (BCTCS)

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.

Algebraic Methodology and Software Technology (AMAST)

Algebraic Methodology and Software Technology (AMAST)Details of recent and forthcoming events are listed on the AMAST webpages.

AMAST 2004:

Safety-Critical Systems Club / Software Reliability & Metrics Club (SCSC/SRMC)

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.


Z User Group (ZUG)

Z User Group (ZUG)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.


Formal Methods Wiki

Formal Methods Wiki Logo