VVSS 2009 Program
Although we are still in discussion with a number of potential speakers, the tentative program is as follows. Next to these presentations, there will be a tool exhibition and networking event.
| 13:30 | Registration | |
| 14:15 | Opening M.C.J.D van Eekelen, Analyzing Certification (More ») | |
| 14:20 | Keynote I by L. Briand, On the feasibility and benefits of model-based software testing (More ») | |
| 15:10 | Parallel Sessions I | |
| 15:40 | Break & Networking | |
| 16:10 | Keynote II by R. Lämmel, Realities of API asbestos (More ») | |
| 17:00 | Parallel Sessions
II
| |
| 17:30 | Buffet Diner | |
| 18:40 | Parallel Sessions
III
| |
| 19:15 | Keynote III by M. Hinchey, Evolving Critical Systems: A Research Agenda for Software Engineering (More ») | |
| 20:10 | Closing M.G.J. van den Brand, From Analysis to Certification (More ») | |
| 20:15 21:00 | Reception | |













