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

Friday June 9, 2006

Posters and Research Tools

Friday 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

The Conference Venue

McMaster University

Centre for Learning and Discovery
The new Centre for Learning and Discovery:


About Hamilton

The City of Hamilton is the 9th largest city in Canada with a population of almost 500,000. Just 45 minutes from Toronto, Ontario, Hamilton is located in southern Ontario at the western corner of Lake Ontario, within a 500-mile radius of over 120 million people. Hamilton is strategically located between Toronto, Ontario and Buffalo, New York, on the Queen Elizabeth Way (QEW).

Hamilton offers many natural and man-made diversions for the leisure traveler. Known as the the City of Waterfalls, Hamilton contains more than 60 waterfalls. The beauty of the escarpment alone compels attention as it changes its expression to greet each successive season. Take time to visist one of Hamilton's nature attractions.