National ICT Australia

Workshop on Formal Methods for Wireless Networks 2005

22 June 2005

About

NICTA's Formal Methods program has commenced work on a research project in the area of formal methods for performance evaluation in wireless networks, that will focus on the application of probabilistic and hybrid model checking techniques to wireless network protocols. The aim is to go beyond existing simulation methodologies for protocol performance analysis by developing methods enabling performance to be "automatically proven". The project is being conducted in collaboration with the NICTA Sensor Networks program and the NICTA Networks and Pervasive Computing program.

This workshop is aimed at bringing researchers from these program together to develop mutual understanding of the formal methods techniques and the potential for their application in wireless network protocols of interest within NICTA. The presentations will be tutorial in nature, and are intended to foster discussion leading to the identification of problems for research.

Venue:
Seminar Room - NICTA head office at the Australian Technology Park (ATP) Bay 15, Locomotive Workshop, Alexandria

Important Dates:
The workshop will be held on Wed, 22 June 2005.

For further information, please contact Ron van der Meyden <meyden@cse.unsw.edu.au>.