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

Social Program and Accompanying Persons

Excursion, Tuesday, August 22 and Saturday, August 26: Optional full-day excursion to Niagara Falls for $40 per person. Meals are not included.

Reception, Tuesday, August 22: Reception at the University Club (Faculty Club) from 18:00 to 20:00 with live music, wine, hors d’oeuvres. Registration to the Technical Symposium includes the Reception; everyone else can register for $40.

Excursion and Banquet, Thursday, August 24: Excursion to Niagara-on-the-lake, a picturesque historical village on the Niagara Peninsula, with a visit to Fort George, after that: banquet at a vineyard in the Niagara wine region. Regular registration to the Technical Symposium includes the excursion and dinner, students and accompanying persons can register for $150.

In addition, if any daycare services are needed, please use the general inquiries contact at the side.