STRESS registration starts at 14:00 on October 3, 2014. Below is the schedule for STRESS 2014 Lectures:
| Date | Morning (08:00-11:30) | Afternoon (14:30-17:30) |
|---|---|---|
| October 3 | Bakar Kiasan – A Certifying Program Verifier for High-Integrity Systems (Introduction to Symbolic Execution) | |
| October 4 | Introduction to Verification with Spark 2014 | Introduction to Verification with Spark 2014 |
| October 5 | Bakar Kiasan – A Certifying Program Verifier for High-Integrity Systems | SCCE: Variability and Evolution through Integrated Domain, Data and Process Modeling |
| October 6 | SCCE: Variability and Evolution through Integrated Domain, Data and Process Modeling | SCCE: Variability and Evolution through Integrated Domain, Data and Process Modeling |
| October 7 | Introduction to SMT and SMT-based Model Checking | Introduction to SMT and SMT-based Model Checking |
Each lecture day uses the following time template:
| Time | Session |
|---|---|
| 08:00-09:30 | Morning Session 1 |
| 09:30-10:00 | Break |
| 10:00-11:30 | Morning Session 2 |
| 11:30-14:30 | Lunch |
| 14:30-16:00 | Afternoon Session 1 |
| 16:00-16:30 | Break |
| 16:30-17:30 | Afternoon Session 2 |