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 industry. It is based in Europe, but is international in scope. FME operates under Dutch 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 ForTIA (Formal Techniques Industry Association).
The Chair of FME is John Fitzgerald of the University of Newcastle upon Tyne, UK.
Famous quotes containing the words formal, methods and/or europe:
“Good gentlemen, look fresh and merrily.
Let not our looks put on our purposes,
But bear it as our Roman actors do,
With untired spirits and formal constancy.”
—William Shakespeare (1564–1616)
“I conceive that the leading characteristic of the nineteenth century has been the rapid growth of the scientific spirit, the consequent application of scientific methods of investigation to all the problems with which the human mind is occupied, and the correlative rejection of traditional beliefs which have proved their incompetence to bear such investigation.”
—Thomas Henry Huxley (1825–95)
“When Paris sneezes, Europe catches cold.”
—Prince Metternich (1773–1859)