|
The NICTA Formal Methods program will hold its annual Workshop Nov 7-9
to take a snapshot of current work in areas related to program's
research interests, particularly its projects in operating systems
verification, static analysis and formal methods for trusted wireless
networks. The workshop will include several tutorials and
presentations by international speakers, and there will be a special
focus on research in formal methods for secure systems development.
Registration:
Attendance is open to all interested parties, but registration by
3 November 2005 is required. To register, please send an email to Belinda Crealy
<belinda.crealy@nicta.com.au> with your contact information
or call +61 2 8306 0475. 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 NICTA seminar room on level 1 of building L5.
Important Dates:
The workshop will be held on 7-9 November 2005.
Registration is open until 3 November 2005.
Program
Nov 7:
Nov 8:
Nov 9:
|
