| Breakfast |
|
8:00-8:30
|
Main lobby |
| Opening |
| 8:45-9:00 |
Welcome
|
| Session 1: |
| 9:00-9:30 |
Ewen Denney, Bernd Fischer: Software Certification and Software Certificate Management Systems |
| 9:30-10:00 |
Mark P. Jones: Evidence Management in Programatica |
| 10:00-10:30 |
Andrew Kornecki, Janusz Zalewski: Qualification of Software Development Tools for Airborne Systems Certification
|
| Coffee |
|
10:30-11:00
|
Main lobby |
| Session 2: |
| 11:00-11:30 |
Mark Sherriff, Laurie Williams: A Method for Verification and Validation Certificate Management in Eclipse |
| 11:30-12:00 |
Mike Whalen: Certificate Management: A Practitioner's Perspective
|
| Lunch |
|
| 12:00-14:00 |
Lunch at the
Rockbottom Brewery
|
| Session 3: |
|
| 14:00-14:30 |
Discussion |
| 14:30-15:00 |
Graeme Parkin, Peter Harris: Certifying Software Fit For Purpose |
| 15:00-15:30 |
Andrew Ireland: On the scalability of Proof Carrying Code for Software Certification
|
| Coffee |
|
| 15:30-16:00 |
Main lobby
|
| Session 4: |
|
| 16:00-16:30 |
Songtao Xia, Ben Di Vito: Software Certification for Temporal Properties with Affordable Tool Qualification |
| 16:30-17:00 |
Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov: Reusing Proofs when Program Verification Systems are Modified |
| 17:00-17:30 |
Dieter Hutter: Software Certification Management: How Can Formal Methods Help?
|
| Unable to present |
Luke Emmet, Sofia Guerra: Application of a Commercial Assurance Case Tool to Support Software Certification Services
|
| Closing Remarks |