T1 VDM++ Tutorial
Monday, August 21, 2006, morning
T2 Analysis and Verification of Real-Time/Embedded Software and Systems
Monday, August 21, 2006, afternoon
T3 Introduction to CSP || B
Monday, August 21, 2006, afternoon
T4 JML & ESC/Java2
Monday, August 21, 2006, afternoon
T6 Model Checking: From Hardware to Software
Tuesday, August 22, 2006, afternoon
T8 The Use of Precise Documentation in Software Development
Tuesday, August 22, 2006, all day
T9 Alloy Modeling Language and Analyzer
Tuesday, August 22, 2006, all day
T10 Spec#
Saturday, August 26, 2006, all day