Google
 
   
Login
Username:

Password:


Lost Password?

Register now!
Search

Advanced Search
Main Menu
top books
Polls
What do you think about php-deluxe.net?
Excellent!
Cool
Hmm..not bad
What the hell is this?
encyclopedia
OpenInsight
NaNoEdMo
ESPOL
Naming conventions...
Bias (book)
EarthLink
HKEPC
recommendation
compare webbrowser
Freenet DSL
Who's Online
6 user(s) are online (5 user(s) are browsing encyclopedia)

Members: 0
Guests: 6

more...
browser tip
Unix Befehle
manual of unix befehle
recommendation!
Sponsored
partner

Formal Methods Europe

Formal Methods Europe (FME) is an organization that aims is to encourage formal methods research and application 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.

Activities include:

  • Dissemination of research findings and industrial experience though conferences 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 (computer scientist) of the University of Newcastle upon Tyne.

    =See also=

  • BCS-FACS Formal Aspects of Computing Science Specialist Group
  • Formal methods

    • = External link =

    *[http://www.fmeurope.org/ FME website]