Tuesday, October 24

Room 2004

Room 2005

09:00 -12:30 Tutorial 1: Introduction to Cryptography and Authentication Protocols
Jonathan Moffett
Tutorial 2: Software Process Improvement for SMEs
Jos Trienekens, Erwin Schoitsch
12:30 -14:00

luncheon

14:00 -17:30 Tutorial 3: Explaining IEC 61508
Felix Redmill
Tutorial 4: Dependability and EMC
Bernard Jover
17:30 -20:00

Welcome reception - Brasserie "De Tijdgeest"

Wednesday, October 25

Kriterion conference theatre
09:00 - 9:30 Opening session
09:30 -10:30 Invited Paper: Tom Gilb
11:00 -12:30 Session 1: Verification and Validation
12:30 -13:00 Poster Session 1

luncheon

14:30 -16:00 Session 2: Software Process Improvement
16:00 -16:25 Poster Session 2
17:00 -18:30 Session 3: Formal Methods

Thursday, October 26

Kriterion conference theatre
09:00 -10:00 Invited Paper: Maarten Steinbuch
10:00 -11:00 Session 4: Safety Guidelines, Standards and Certification
11:30 -13:00 Session 5: Hardware Aspects

luncheon

14:30 -16:00 Panel Session: Dependability Issues in Medical Systems - Surgical Robots
16:30 -17:30 Session 6: Safety Assessment I
17:30 -18:30 Session 7: Design for Safety
20:00 -24:00

Conference Dinner

Friday, October 27

Kriterion conference theatre
09:00 -10:00 Invited Paper: Peter Ladkin
10:00 -11:30 Session 8: Transport & Infrastructures
12:00 -13:30 Session 9: Safety Assessment II
13:30 -14:00 Closing Session

buffet

Room 2003

14:30 -18:00 Tutorial 5: Risk Management for Systems Engineering: some unconventional approaches
Tom Gilb