Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

for the improvement of

software Software is a set of computer programs and associated software documentation, documentation and data (computing), data. This is in contrast to Computer hardware, hardware, from which the system is built and which actually performs the work. ...

and

hardware Hardware may refer to: Technology Computing and electronics * Electronic hardware, interconnected electronic components which perform analog or logic operations ** Digital electronics, electronics that operate on digital signals *** Computer hard ...

in computer-based systems. The association's members are drawn from

academia An academy ( Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary or tertiary higher learning (and generally also research or honorary membership). The name traces back to Plato's school of philosophy ...

and industry. It is based in

Europe Europe is a large peninsula conventionally considered a continent in its own right because of its great physical size and the weight of its history and traditions. Europe is also considered a subcontinent of Eurasia and it is located enti ...

, but is international in scope. FME operates under

Dutch Dutch commonly refers to: * Something of, from, or related to the Netherlands * Dutch people () * Dutch language () Dutch may also refer to: Places * Dutch, West Virginia, a community in the United States * Pennsylvania Dutch Country People E ...

law. Activities include or have included: * Dissemination of research findings and industrial experience through conferences (every 18 months) and sponsored events; * Development of information resources for educators; * Networking for commercial practitioners through ForTIA (

Formal Techniques Industry Association Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems. The association's members are drawn from academia and ...

). The Chair of FME is John Fitzgerald of the

University of Newcastle upon Tyne Newcastle University (legally the University of Newcastle upon Tyne) is a UK public research university based in Newcastle upon Tyne, North East England. It has overseas campuses in Singapore and Malaysia. The university is a red brick unive ...

, UK.

ForTIA

The Formal Techniques Industry Association (ForTIA) aimed to support the industrial use of

under the umbrella organization of ''Formal Methods Europe''. It was founded in 2003 through the initial efforts of

Dines Bjørner __NOTOC__ Professor Dines Bjørner (born 4 October 1937, in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on th ...

and was chaired by Anthony Hall and Volkmar Lotz among others. Its scope was international and membership was by company. It organized meetings, especially in conjunction with conferences, for instance, industry days at the FM conferences organized by FME.

References

External links

FME websiteFormal Method Europe
group on

LinkedIn LinkedIn () is an American business and employment-oriented online service that operates via websites and mobile apps. Launched on May 5, 2003, the platform is primarily used for professional networking and career development, and allows job s ...

ForTIA website
(2009) Organizations with year of establishment missing Formal methods organizations International organizations based in Sweden Information technology organizations based in Europe {{formalmethods-stub

ForTIA

See also

References

External links