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 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 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,
UK.
ForTIA
The Formal Techniques Industry Association (ForTIA) aimed to support the industrial use 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 ...
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.
See also
*
BCS-FACS ''Formal Aspects of Computing Science'' Specialist Group
*
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 ...
*
Anthony Hall, founding chair of ForTIA
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