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


Accommodation Registration

On-Campus Accommodation

Mary Keyes Residence

Mary Keyes residence features, suite style accommodation, 4 single rooms, 2 private bathrooms, common living rooms & kitchenette per suite. There are 124 bedrooms. Each bedroom is furnished with one single bed, desk, bureau. Telephones & internet connections are also in each bedroom.

The nightly single rate including parking and continental breakfast is $85 including taxes.
Hedden Hall

There are 375 beds. No room service, breakfast at Mary Keyes, parking and internet available. The nightly single rate including parking and continental breakfast is $61 including taxes (double $52/pp).

Pre-Registration Accommodation Form

The accomodation form contains all payment information. Earlier arrival possible, but no extensions past August 28. If you have any questions regarding on campus housing, please email Conference Sevices: meet@mcmaster.ca.

Off-Campus Accommodation

Visitors Inn is only a 10 - 15 minute walk from McMaster University and recommended for couples. Swimming pool is provided, internet access is available, but costs extra. Rates for Formal Methods 2006: single $89, $10 more for every additional person plus 15% taxes. A block of rooms is reserved for FM'06. Availability of these rooms is only guaranteed for reservations made before July 21. Reservations can be made by e-mail or by phone and need to mention FM'06 to qualify for this rate.

Staybridge Stuites is located in Hamilton downtown and recommended for groups and families sharing a suite or for extended stays. Free shuttle service to McMaster is provided. Suite are luxurious; internet access is include in the price. Rates for Formal Methods 2006: single $109, $10 more for every additional person, plus 15% taxes. Larger and two-bedroom suites are available. A block of rooms is reserved for FM'06. Availability of these rooms is only guaranteed for reservations made before July 21. Reservations can be made by phone (905.577.9000 and 1.800.589.0009) and need to mention Formal Methods 2006 Symposium, group code "FOR" to qualify for this rate.