NICTA Formal Methods Program

Workshop on Operating Systems Verification

5 October 2004

Call for Participation

With society's expanding reliance on information and communications technology, the need to increase our level of trust in computing and networking infrastructure is one of the critical challenges facing the ICT field. National ICT Australia is addressing this challenge by conducting a research project on the formal verification of the L4 operating system kernel, which is increasingly being seen as a strong candidate for the underpinnings of security in wireless and embedded systems.

This workshop brings together NICTA researchers engaged in this activity and invited international researchers engaged in similar projects on the development of formally verified operating systems kernels. The workshop will provide an opportunity to survey the state of current research in this area and compare approaches. The workshop will be of interest to researchers and technical developers in operating systems, formal verification and computer security.

Registration:
Attendance is open to all interested parties, but registration until 28 September 2004 is required. To register, please send an email to Belinda Crealy <belinda.crealy@nicta.com.au> with your contact information or call +61 2 9385 4727. Please indicate if you would like to have lunch at the workshop and if you have any dietary constraints.

Venue:
The workshop will be held in Sydney, Australia at the Kensington Campus of the University of New South Wales in the Scientia building (G19), room Gallery 1.

Important Dates:
The workshop will be held on Tue, 5 October 2004.
Registration is open until 28 September 2004.

For further information, please contact Gerwin Klein <gerwin.klein@nicta.com.au>.