Preliminary program



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
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
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 (PDF)

Social events

On Thursday evening, we will enjoy a guided visit to the natural history museum of Toulouse, followed by a banquet.