|
|
|
|
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
|
|
|
News
- Pictures from the conference week now available. (2.7.2008)
- Material for the IDay presentations available. (4.6.2008)
- The diploma for the best paper award is on the web. (4.6.2008)
- The
link to the next Formal Methods conference has been added. (4.6.2008)
- The abstract of Paolo Bresciani is now available. (23.5.2008)
- The registration is now closed. (22.5.2008)
- The program of the Doctoral Symposium is now
available. (15.5.2008)
- Unfortunately, Tutorial 7 has been
cancelled. (9.5.2008)
- Comparing the hotels in Turku by
a non-profit organisation can be found here. (9.5.2008)
- A list of selected restaurants, pubs and cafés can now be found here. (9.5.2008)
- Hostel Turku added as new accommodation alternative. Please check the
accommodation page for more information. (15.4.2008)
- The abstract of Prof. Arvind is now
accessible. (11.4.2008)
Archive
|
