Preliminary program
Overview
| Thursday 14 May 2009 |
Friday 15 May 2009 |
| 8:30-9:00 |
Registration |
| 9:00-9:15 |
Welcome
address |
| 9:15-10:45 |
Formal
analysis
of code or models |
|
Coffee break |
| 11:15-12:15 |
Validation
of
web services |
|
Lunch |
| 13:30-15:15 |
Testing |
|
Coffee break |
| 15:45-17:00 |
Fault
injection |
|
| 9:00-10:30 |
Experience reports |
|
Coffee
break |
| 11:00-12:00 |
Fault
tolerance |
|
Lunch |
| 13:15-14:30 |
Rigourous
development |
| 14:30-15:00 |
Concluding
remarks |
|
Get the
list of accepted
papers
(full and short papers).
Download the detailed program
Social events
On Thursday evening, we will enjoy a guided visit to the
natural
history museum of Toulouse, followed by a banquet.
