Program CTIT Symposium

10.00 hrs

Registration and welcome

10.15 hrs

Opening by Prof.dr. Peter Apers

10.20 hrs

Introduction by Prof.dr. Jaco van de Pol (chairman)

10.30 hrs

Prof.dr. Kim Larsen

Aalborg University, Denmark

“Model-Driven Validation of Real-Time and Embedded Systems”

11.10 hrs

PhD Carrousel

11.30 hrs

Mrs. drs. Ank Bijleveld-Schouten
State secretary of the Ministry of the Interior and Kingdom Relations

“Betrouwbare ICT: Ruggegraat voor Samenleving en Economie”

11.45 hrs

Lunch and poster session

13.20 hrs

Prof.dr. Andrew Tanenbaum

VU University Amsterdam, the Netherlands

“The Design of a Highly Dependable Operating System”

14.00 hrs

Prof.dr.ir. Boudewijn Haverkort

Embedded Systems Institute / University of Twente, the Netherlands

“Dependable Systems: Fact or Fiction?”

14.40 hrs

Coffee/tea break’

15.10 hrs

PhD Carrousel

16.00 hrs

Dr. Jacek Skowronek

Thales Nederland, the Netherlands

“Dependability in Maritime Systems-of-Systems”

16.40 hrs

Prof.dr. Peter Apers

CTIT

17.00 hrs

Closing

17.10 hrs

Reception and prize distribution for the poster session