Formal Methods Europe
Encyclopedia
Formal Methods Europe 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 industry
. It is based in Europe
, but is international in scope. FME operates under Dutch
law.
Activities include:
The Chair of FME is John Fitzgerald
of the University of Newcastle upon Tyne
, UK.
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
for the improvement of software and hardware
Hardware
Hardware is a general term for equipment such as keys, locks, hinges, latches, handles, wire, chains, plumbing supplies, tools, utensils, cutlery and machine parts. Household hardware is typically sold in hardware stores....
in computer-based systems. The association's members are drawn from academia
Academia
Academia is the community of students and scholars engaged in higher education and research.-Etymology:The word comes from the akademeia in ancient Greece. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning...
and industry
Industry
Industry refers to the production of an economic good or service within an economy.-Industrial sectors:There are four key industrial economic sectors: the primary sector, largely raw material extraction industries such as mining and farming; the secondary sector, involving refining, construction,...
. It is based in Europe
Europe
Europe is, by convention, one of the world's seven continents. Comprising the westernmost peninsula of Eurasia, Europe is generally 'divided' from Asia to its east by the watershed divides of the Ural and Caucasus Mountains, the Ural River, the Caspian and Black Seas, and the waterways connecting...
, but is international in scope. FME operates under Dutch
Netherlands
The Netherlands is a constituent country of the Kingdom of the Netherlands, located mainly in North-West Europe and with several islands in the Caribbean. Mainland Netherlands borders the North Sea to the north and west, Belgium to the south, and Germany to the east, and shares maritime borders...
law.
Activities include:
- 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 ForTIAForTIAThe Formal Techniques Industry Association aims to support the industrial use of formal methods under the umbrella organization of Formal Methods Europe. It was founded in 2003 through the initial efforts of Dines Bjørner and is currently chaired by Volkmar Lotz. Its scope is international and...
(Formal Techniques Industry Association).
The Chair of FME is John Fitzgerald
John Fitzgerald (computer scientist)
John S. Fitzgerald is a British computer scientist and Chair of Formal Methods Europe. He is a Reader in the School of Computing Science at Newcastle University, UK, where he works as a member of the...
of the University of Newcastle upon Tyne
University of Newcastle upon Tyne
Newcastle University is a major research-intensive university located in Newcastle upon Tyne in the north-east of England. It was established as a School of Medicine and Surgery in 1834 and became the University of Newcastle upon Tyne by an Act of Parliament in August 1963. Newcastle University is...
, UK.
See also
- BCS-FACSBCS-FACSBCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, organizes meetings for its members and others on formal methods and related computer science topics...
Formal Aspects of Computing Science Specialist Group - Formal methodsFormal methodsIn computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
External links
- FME website
- Formal Method Europe group on LinkedInLinkedInLinkedIn is a business-related social networking site. Founded in December 2002 and launched in May 2003, it is mainly used for professional networking. , LinkedIn reports more than 120 million registered users in more than 200 countries and territories. The site is available in English, French,...