Formal Methods Europe Wiki

Welcome to the Open Content Mangagement System of Formal Methods Europe This site is still experimental. The idea is to provide updated information on research, applications, news and events related to formal methods.

News

• . ... (more)

• Date and venue FM 2009. Time and place for FM 2009 are known: the symposium and its accompanying events will take place between October 30 and November 7 of 2009 (week 45), in the Auditorium of the ... (more)

• FMICS 2008 - 13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems. FMICS 2008 will be colocated with ASE08 in L'Aquila, September 15-16, and will host as a FME keynote speaker Professor Rance Cleaveland, of University of Maryland. Deadline for ... (more)

• FME supports UNESCO Chair in Tunis. Formal Methods Europe has graciously agreed to support the Sixth Thematic Semester of the UNESCO Chair titled "Mathematics and Development", hosted by the Engineering School of ... (more)

• Annual General Meeting of FME, 25.2.2008, London. Our next meeting will be held on Monday 25 February 2008 at the BCS in London, UK (Southampton Street, Wilkes Room 3). As always, your attendance is very much appreciated, ... (more)

News Archive | How to add news

Formal Methods

• What is it all about?
• Examples of formal techniques
• Applications
• Index of FME's conference publications.
• Formal Methods courses around the world
• Job Offers in Formal Methods
• Upcoming Conferences on Formal Methods

FME

• Publications Discussion: Express your opinion on FME's possible publication role.
• Strategy Discussion
• Downloads: Minutes etc.

Useful links: Formal Methods Europe

Notes:

• You are currently in the Main web. The color code for this web is this background, so you know where you are.
• If you are not familiar with the FME Wiki collaboration platform, please visit WelcomeGuest first.