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

Posters and Tools, Doctoral Symposium

Friday June 9, 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


Program at a Glance

 

Monday
21

Tuesday
22

Wednesday
23
Thursday
24

Friday
25

Saturday
26
Sunday
27
Morning

 

Tutorial T1

 

Tutorials T6 T8 T9

Doctoral Symposium

(Excursion)

Technical Symposium

Industry Day

Technical Symposium Technical Symposium

Tutorial T10

Workshops W2 W3 W4

(Excursion)

Workshops W3 W4

Noon   Poster & Research Tools Poster & Research Tools Poster & Research Tools  

After-
noon

Workshop W1

Tutorials T2 T3 T4

Technical Symposium

Industry Day

Technical Symposium


Excursion & Banquet

Technical Symposium  
Evening Reception