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:
“This is no argument against teaching manners to the young. On the contrary, it is a fine old tradition that ought to be resurrected from its current mothballs and put to work...In fact, children are much more comfortable when they know the guide rules for handling the social amenities. It’s no more fun for a child to be introduced to a strange adult and have no idea what to say or do than it is for a grownup to go to a formal dinner and have no idea what fork to use.”
—Leontine Young (20th century)
“All good conversation, manners, and action, come from a spontaneity which forgets usages, and makes the moment great. Nature hates calculators; her methods are saltatory and impulsive.”
—Ralph Waldo Emerson (1803–1882)
“I believe that the fundamental proposition is that we must recognize that the hostilities in Europe, in Africa, and in Asia are all parts of a single world conflict. We must, consequently, recognize that our interests are menaced both in Europe and in the Far East.”
—Franklin D. Roosevelt (1882–1945)