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

Welcome to Formal Methods 2006

McMaster University
Hamilton, Ontario

August 21 - 27, 2006



September 11th, 2006 - Pictures of the conference are available at and Thanks to David von Oheimb for these.
August 17th, 2006 - Conference program is available for downloading.
August 9th, 2006 - Symposium proceedings are now available online.


It is our pleasure to invite you to FM'06, the premier international forum for practitioners and researchers applying mathematical methods to the design of highly reliable computer systems. This is the 14th event in this series, and for the first time takes place in North America, at McMaster University in Hamilton, Ontario, Canada.

A program of five invited talks and 36 outstanding research papers provides the opportunity to learn about the newest developments in the theory and application of formal methods. The program covers a wide range of topics, including theorem proving, modeling, real-time, specification, education, programming languages, and testing. As in previous years, an Industry Day is dedicated for practitioners to share their experiences with industrial applications. Eight speakers will address this year's theme, Formal Methods for Security and Trust in Industrial Applications.

Tutorials have always been an essential part of the FM symposia, as an effective way of disseminating emerging tools and techniques. This year we have eight tutorials, given by renowned experts in their fields. The four co-located workshops address the issues of specific formal techniques as well as issues of general interest, namely education, security, and the timely issue of certification.

A Doctoral Symposium is part of FM for the first time this year, giving young researchers the opportunity to learn about the issues of practitioners and in turn have their ideas critically, but constructively examined by the community. A Poster and Tool Exhibition, with twelve reviewed submissions, allows researchers to engage in a dialogue with potential users in early phases of their work. A Book Exhibition accompanies the event.

McMaster University is the host of the Bertrand Russell Archive. The influence of Bertrand Russell on logic and formal methods is still felt today. As a complement to the technical program, we are proud to offer tours through the Russell Archive.

We hope you will enjoy a rewarding symposium program.

Emil Sekerinski, General Chair
Jayadev Misra, Tobias Nipkow, Program Chairs