Program
- This is a tentative program and is subject to change -
Check Carleton University directions and Delta Hotel City Centre map to locate the venues.
| Sunday, October 23, 2016 | ||
|---|---|---|
| Time | Ballroom A | Carleton University (ME 4359) |
| 08.00 AM | Registration | |
| 08.30 - 10:00 AM | WOSAR 1 | Tutorial 6 |
| 10.00 - 10.30 AM | Coffee Break (Foyer) | Coffee Break (ME 4359) |
| 10.30 AM - Noon | WOSAR 2 | Tutorial 6 |
| Noon - 01:30 PM | Lunch (Ballroom B) | Lunch (Residence Commons) |
| 01:30 - 03.00 PM | WOSAR 3 | Tutorial 6 |
| 03:00 - 03.30 PM | Coffee Break (Foyer) | Coffee Break (ME 4359) |
| 03:30 - 05.00 PM | WOSAR 4 | Tutorial 6 |
| Monday, October 24, 2016 | |||||
|---|---|---|---|---|---|
| Time | Ballroom A | Richelieu | Frontenac | Joliet | Chaudiere |
| 07.30 AM | Registration | ||||
| 08.30 - 10:00 AM | IWPD 1 | WoSoCER 1 | IWSF 1 | Tutorial 11 | Tutorial 5 |
| 10.00 - 10.30 AM | Coffee Break (Foyer) | ||||
| 10.30 AM - Noon | IWPD 2 | WoSoCER 2 | IWSF2 | Tutorial 11 | Tutorial 5 |
| Noon - 01:30 PM | Lunch (Ballroom B) | ||||
| 01:30 - 03.00 PM | IWPD 3 | WoSoCER 3 | Tutorial 9 | Tutorial 2 | Tutorial 4 |
| 03:00 - 03.30 PM | Coffee Break (Foyer) | ||||
| 03:30 - 05.00 PM | IWPD 4 | WoSoCER 4 | Tutorial 9 | Tutorial 2 | Tutorial 4 |
| Tuesday, October 25, 2016 | ||||||
|---|---|---|---|---|---|---|
| Time | Ballroom A | Richelieu | Frontenac | Joliet | Chaudiere | York |
| 07.30 AM | Registration | |||||
| 08:15 - 08:30 AM | Introductions | |||||
| 08.30 - 10:00 AM | Keynote 1 (Plenary) | |||||
| 10.00 - 10.30 AM | Coffee Break (Foyer) | |||||
| 10.30 AM - Noon | Best research paper (plenary) | |||||
| Noon - 01:30 PM | Lunch (Ballroom B) | |||||
| 01:30 - 03.00 PM | Human Aspects | Test Optimizations | FVPE 1 | Fast abstracts | ||
| 03:00 - 03.30 PM | Coffee Break (Foyer) | |||||
| 03:30 - 05.00 PM | Quality in Agile industry | Software Defects | Testing | FVPE 2 | Tutorial 3 | |
| 05.00 - 06.00 PM | FVPE 3 | Tutorial 3 | ||||
| 07.00 PM | Reception (Pinnacle) | |||||
| Wednesday, October 26, 2016 | |||||
|---|---|---|---|---|---|
| Time | Ballroom A | Richelieu | Frontenac | Joliet | Chaudiere |
| 08.00 AM | Registration | ||||
| 08.30 - 10:00 AM | Keynote 2 (Plenary) | ||||
| 10.00 - 10.30 AM | Coffee Break (Foyer) | ||||
| 10.30 AM - Noon | Best industry paper (Plenary) | ||||
| Noon - 01:30 PM | Lunch (Ballroom B) | ||||
| 01:30 - 03.00 PM | Reliability through test and certification | Static analysis | Anomaly and vulnerability Analysis | Tutorial 10 | Tutorial 8 |
| 03:00 - 03.30 PM | Coffee Break (Foyer) | ||||
| 03:30 - 05.00 PM | Enabling Reliability: From space to cyberphysical Systems | Reasoning about concurrency | Security | Tutorial 10 | Tutorial 8 |
| 07.00 PM | Banquet (Ballroom B) | ||||
| Thursday, October 27, 2016 | |||||
|---|---|---|---|---|---|
| Time | Ballroom A | Richelieu | Frontenac | Joliet | Chaudiere |
| 08.00 AM | Registration | ||||
| 08.30 - 10:00 AM | Keynote 3 (Plenary) | ||||
| 10.00 - 10.30 AM | Coffee Break (Foyer) | ||||
| 10.30 AM - Noon | Software Quality and Reliability Evaluation | Program Analysis | |||
| Noon - 01:30 PM | Lunch (Ballroom B) | ||||
| 01:30 - 03.00 PM | Relibility monitoring and failure analyis | Software Design | Tutorial 7 | Tutorial 1 | |
| 03:00 - 03.30 PM | Coffee Break (Foyer) | ||||
| 03:30 - 05.00 PM | Software in Critical Applications | Issues in android devices | Tutorial 7 | Tutorial 1 | |
| 05.00 - 06.00 PM | Community Meeting (Plenary) | ||||
| Legend | |
| Color | Information for each color |
| Registration (Venue - Hotel Lobby) | |
| Coffee Break | |
| Lunch and banquet | |
| Workshops sessions | |
| Tutorials sessions | |
| Industry Track sessions | |
| Research papers sessions | |
| Fast Abstract session | |
| Welcome, Keynote and open meeting | |
