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:
“I will not let him stir
Till I have used the approvèd means I have,
With wholesome syrups, drugs, and holy prayers,
To make of him a formal man again.”
—William Shakespeare (1564–1616)
“Cold and hunger seem more friendly to my nature than those methods which men have adopted and advise to ward them off.”
—Henry David Thoreau (1817–1862)
“What passes for identity in America is a series of myths about one’s heroic ancestors. It’s astounding to me, for example, that so many people really seem to believe that the country was founded by a band of heroes who wanted to be free. That happens not to be true. What happened was that some people left Europe because they couldn’t stay there any longer and had to go someplace else to make it. They were hungry, they were poor, they were convicts.”
—James Baldwin (1924–1987)