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

Symposium Registration

  Until July 7th After July 7th
Technical Symposium and Industry Day, Regular $650.00 $750.00
Technical Symposium and Industry Day, Student $350.00 $400.00
Tutorial/Workshop Registration Processing Fee $50.00 $50.00
Fees for Tutorials    
T1-T10 $100.00 $150.00
Fees for Workshops    
W1 $50.00 $100.00
W2,W3 $100.00 $150.00
W4 $150.00 $200.00
Optional Proceedings & Tickets    
Conference Proceedings $100.00
Reception $40.00
Excursion & Banquet, August 24th $150.00
Excursion, August 22nd $40.00
Excursion, August 26th $40.00


Prices include all applicable taxes. The Workshop/Tutorial registration processing fee applies when participating in the workshops or tutorials only, but not the Technical Symposium. The student registration does not include the excursion & banquet, and students must submit a photocopy of their valid student ID with their registration form. The two optional excursions to Niagara Falls on August 22 and 26 do not include meals, are subject to sufficient interest and have a limit on the number of participants. Student fees applies only to registered full-time students at time of registration.

Registration Form

Confirmations are sent within 7 business days by e-mail; make sure the e-mail address is legible and will not filter the confirmation.