FM 2006

August 21 - 27, 2006
McMaster University
Hamilton ON, Canada

Submission Dates

Technical Papers, Workshops and Tutorials

Friday February 24, 2006

Posters and Tools, Doctoral Symposium

Friday May 26, 2006


Notification Dates

Technical Papers

Friday April 28, 2006

Workshops and Tutorials

Friday March 10, 2006

Doctoral Symposium

Wednesday June 14, 2006

Posters and Research Tools

Monday June 12, 2006

Contact Information

General Inquiries

General Chair

Emil Sekerinski

Program Chairs

Jayadev Misra,
Tobias Nipkow

Workshops Chair

Tom Maibaum

Tutorials Chair

Jin Song Dong

Tools & Poster Chair

Marsha Chechik

Industry Day Chairs

Volkmar Lotz,
Asuman Suenbuel

Doctoral Symposium Chairs

Ana Cavalcanti

Augusto Sampaio

Jim Woodcock

Sponsorship Chair

Jürgen Dingel

Call for Posters & Research Tool Demonstrations

FM'06 is the fourteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software development, industrial users as well as researchers.

Tools are central to the success of formal methods in practice. Hence, tool demonstrations will have a prominent role in the conference. Demonstrators will be expected to present their tools during specially-designated time that will be scheduled into the conference program. Tool demonstrations should be accompanied by a poster. In addition, a collection of short papers (2-3 pages), for every accepted tool demonstration, will be published as a technical report and available to conference attendees. The authors maintain copyright on their written tool description.

We solicit proposals for tool demonstrations related to automated reasoning using formal methods. Tools can range from alpha-versions to fully developed products that are being prepared for commercialization. Products that are currently being commercialized will not be accepted as subjects of demonstrations (see call for commercial exhibits and tool demonstrations). Research tool demonstrations are not intended to be sales pitches, and should consequently highlight technical contributions. For further clarification, please contact the tool demonstrations chair.

Priority will be given to tools based on sound, rigorous research results to support the automation of analysis and/or verification of software or hardware systems.

We also solicit posters describing late-breaking results related to the theme of the conference. Like tool demonstrations, accepted posters will be accompanied by a short paper published as a technical report and available to conference attendees. Poster presentors are expected to be available during a specially-scheduled time during the conference to present their work.

Review Process

The Posters & Demos Committee will review each submission using the standard FM criteria: originality and importance of contribution, soundness of rationale or demonstration, quality of written and graphic presentation, and appropriate consideration of relevant literature.


Demonstrators are expected to provide their own equipment.

How To Submit

Submissions of proposals for posters & tool demonstrations must:

For Demos:
  • be no more than 3 pages in LNCS format, describing the technology or approach, what is the research that has gone into the tool, how it relates to other industrial or research efforts, including references, and what are the expected benefits.
  • have an appendix (not included in the 3-page count) that provides a detailed description of how the presentation would be conducted (possibly illustrated with a number of snapshots), information on tool availability and maturity, and the URL of a web-page for the tool (if one exists).
For Posters:
  • be no more than 3 pages in LNCS format, describing the approach, how it relates to other industrial or research efforts, including references, and what are the expected benefits.
For Demos and Posters:
  • be sent to by email to Marsha Chechik by the Posters & Demos submission deadline. Please begin the subject line with "FM 2006 Demo" or "FM 2006 Poster".

Accepted Posters and Demonstrations

Accepted posters and demonstrations will be published as short papers in a special technical report, available to conference attendees. In addition, the authors should be available for answering questions or demonstrating their tools at scheduled times during the conference.

Review Committee

Marsha Chechik, University of Toronto, Canada (Chair)
Alan Wassyng, McMaster University, Canada

Important Dates

Submission deadline: May 26, 2006.
Author notification: June 12, 2006.
Camera-ready papers: June 22, 2006.

Tool Demo & Poster Chair
Marsha Chechik
Department of Computer Science
University of Toronto
Toronto, Ontario Canada