National ICT Australia (NICTA), Formal Methods Program
SV 06
International Workshop on System Verification
Aug 7/8 2006
Sydney, Australia
Abstract
This workshop is a merger of the 3rd Annual NICTA Formal Methods Workshop and the 2nd International Workshop on Operating Systems Verification. There currently exist a number of academic and industrial projects on the security and reliability of systems level software (OS kernels, services, drivers etc) employing techniques from automatic static analysis and model checking to interactive theorem proving. It is the aim of this workshop to bring together researchers in this area to foster collaboration and provide an overview of the state of the art.
Presentations are by invitation only. Post workshop proceedings will be published as a NICTA technical report.
Registration
Attendance is open to all interested parties. Registration is free and a light lunch will be provided at the workshop (sponsored by NICTA). Please register by email to Belinda Selig (or call +61 2 8306 0475) by 3 August 2006, and indicate if you have any dietary constraints. Also tell if you like to join us for dinner (at your own cost) at Zaaffran, on Monday 7-8-2006 at 7pm.
Venue
The workshop will be held in Sydney, Australia at the Kensington Campus of the University of New South Wales, in the NICTA seminar room on level 1 of building L5. A suitable map can be found at http://www.whereis.com/ by searching for 223 Anzac Pde, Kensington, New South Wales.
Accommodation
Topics
- static analysis
- theorem proving
- OS verification
- system models
- driver analysis
- embedded systems security
- industrial applications
Programme
Organizing Committee
Important Dates
- Speaker Interest: June 15 2006
- Registration: July 21 2006
- Workshop: Aug 7/8 2006
- Proceedings submission deadline: Oct 1 2006