Schedule

Now that the line-up of Formal Methods Week is complete, this page tries to provide a first complete overview of everything goes on: firstly by listing the dates of all events and meetings, and secondly by listing events and meetings per day

Schedule by event

CPA Sunday - Wednesday, November 1-4 (Sandton hotel, Blauwe Zaal and Senaatszaal)

FACS Monday-Tuesday, November 2-3 (room CZ15)

FAST Thursday-Friday, November 5-6 (room CZ14)

FM2009 symposium Wednesday-Friday, November 4-6 (rooms CZ4, CZ5 and Blauwe Zaal)

FM2009 Industry Day Thursday, November 5 (Blauwe Zaal)

FM2009 Doctoral Symposium Friday, November 6 (room CZ11)

FM2009 workshops Monday-Tuesday, November 2-3
WS01 FMIS (Monday, room CZ13b)
WS02 VDM and Overture (Monday, room CZ11)
WS03 Compmod (Tuesday, room CZ11)
WS04 FAVO (Tuesday, room CZ12a)
WS05 FMA (Tuesday, room CZ12b)
WS06 FOPARA (Tuesday, room CZ13a)
WS07 QFM (Tuesday, CZ13b)

FM2009 tutorials Monday-Tuesday, November 2-3
T03 Practical MPI and pthread dynamic verification (Tuesday morning, room HG 8.61, main building)
T04 Computational Systems Biology (Monday, all day, room CZ12b)

FMCO Wednesday-Friday, November 4-6 (room CZ15)

FMICS Monday-Tuesday, November 2-3 (room CZ16)

PDMC Wednesday, November 4 (room CZ12)

Refinement workshop Tuesday, November 3 (room CZ4)

TESTCOM/FATES Monday - Wednesday, November 2-4 (room CZ2)

Dutch Testing Day Wednesday, November 4 (Blauwe Zaal)

TFM 2009 Friday, November 6 (room CZ12)

Cost Action IC0701 Monday-Tuesday, June 2-3 (room CZ14)

IFIP WG 1.8 (Formal Methods for Embedded Systems) Thursday, November 5 (room CZ12)

RIAB (Deploy) Tuesday, November 3 (Senaatszaal)

Quasimodo Friday, November 6 (Blauwe Zaal)

VSTTE 2009 Monday, November 2 (Senaatszaal)

Schedule by day

Sunday, November 1

CPA Fringe session (Sandton Hotel, evening)

Monday, November 2

CPA (day 1, Blauwe Zaal)

FACS (day 1, room CZ15)

FM2009 workshops
WS01 FMIS (room CZ13b)
WS02 VDM and Overture (room CZ11)

FM2009 tutorials
T04 Computational Systems Biology (room VZ12b)

FMICS (day 1, room CZ16)

TESTCOM/FATES (day 1, room CZ2)

Cost Action IC0701 (day 1, room CZ14)

VSTTE 2009 (Senaatszaal)

Tuesday, November 3

CPA (day 2, Blauwe Zaal)

FACS (day 2, room CZ15)

FM2009 workshops
WS03 Compmod (room CZ11)
WS04 FAVO (room CZ12a)
WS05 FMA (room CZ12b)
WS06 FOPARA (room CZ13a)
WS07 QFM (room CZ13b)

FM2009 tutorials
T03 Practical MPI and pthread dynamic verification (morning, room HG 8.61, main building)

FMICS (day 2, CZ16)

Refinement workshop (room CZ4)

TESTCOM/FATES (day 2, room CZ2)

Cost Action IC0701 (day 2, room CZ14)

RIAB (Deploy) (room Senaatszaal)

Wednesday, November 4

CPA (day 3, Senaatszaal)

FM2009 symposium (day 1, rooms CZ4 and CZ5)

FMCO (day 1, room CZ15)

PDMC (room CZ12)

TESTCOM/FATES (day 3, room CZ2)

Cost Action IC0701 (day 3, room CZ14)

Dutch Testing Day (Blauwe Zaal)

FMweek Soiree (Blauwe Zaal)

Thursday, November 5

FAST (day 1, CZ14)

FM2009 symposium (day 2, rooms CZ4, CZ5 and Blauwe Zaal)

FM2009 Industry Day (Blauwe Zaal)

FMCO (day 2, room CZ15)

IFIP WG 1.8 (Formal Methods for Embedded Systems) (room CZ12)

Friday, November 6

FAST (day 2, room CZ14)

FM2009 symposium (day 3, rooms CZ4 and CZ5)

FM2009 Doctoral Symposium (room CZ11)

FMCO (day 3, room CZ15)

TFM 2009 (room CZ12)

Quasimodo (Blauwe Zaal)