FM 2008

FM'08 Week

Overview of FM'08 conference (28-30.5)


Tuesday Wednesday Thursday Friday
9:00-10:00 Welcome
Invited speaker:
Arvind
(common with Ind. Day)
Invited speaker:
Shmuel Katz
Invited speaker:
Jay Misra
10:00-10:30 Coffee break Coffee break Coffee break
10:30-12:00 PROGRAMMING LANGUAGE ANALYSIS Industry Day FM PRACTICE Tool
presentations
CONSTRAINT ANALYSIS FM
education
12:00-13:30 Lunch
Tools & Poster Session,
Book Exhibition,
Tool Demos
Lunch
Tools & Poster Session,
Book Exhibition,
Tool Demos
FME meeting
Lunch
Tools & Poster Session,
Book Exhibition,
Tool Demos
13:30-14:30 VERIFICATION Industry Day Invited Speaker:
Paolo Bresciani (EU)
Invited speaker:
Dawson Engler
14:30-15:00 Coffee break Coffee break
15:00-15:30 Coffee break RUNTIME MONITORING AND ANALYSIS COMMUNICATION DESIGN
15:30-16:30 REAL-TIME AND CONCURRENCY Industry Day
16:00 Excursion & banquet
16:30-17:30 GRAND CHALLENGE PROBLEMS Closing - 17:00
Evening Welcome reception


Overview of Tutorials, Workshops and Doctoral Symposium (26-27.5)


Monday Tuesday
9:00-10:30 Tutorials
T1, T2, T3
Workshops
W1, W2
Tutorials
T4, T5
Workshops
W3, W4, W5
Doctoral
Symposium
10:30-11:00 Coffee break Coffee break
11:00-12:30 Tutorials
T1, T2, T3
Workshops
W1, W2
Tutorials
T4, T5
Workshops
W3, W4, W5
Doctoral
Symposium
12:30-14:00 Lunch Lunch
14:00-15:30 Tutorials
T1, T2, T3
Workshops
W1, W2
Tutorials
T4, T6, T7
Workshops
W3, W4, W5
15:30-16:00 Coffee break Coffee break
16:00-17:30 Tutorials
T1, T2, T3
Workshops
W1, W2
Tutorials
T4, T6, T7
Workshops
W3, W4, W5