Schedule At-A-Glance | |||||||||
---|---|---|---|---|---|---|---|---|---|
Fri. May 2 |
Sat. May 3 |
Sun. May 4 |
Mon. May 5 |
Tu. May 6 |
Wed. May 7 |
Th. May 8 |
Fri. May 9 |
Sat. May 10 |
Sun. May 11 |
Saturday, May 10, 2003 |
|
---|---|
Workshops (8:30 - 5:00)
|
|
W10: Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003) (day two of two) |
|
Co-Located Events
|
|
10th International SPIN Workshop on Model Checking of Software (day two of two) |
|
11th International Workshop on Software Configuration Management (SCM-11) (day two of two) |
|
11th International Workshop on Program Comprehension (IWPC 2003) (day one of two) |