WELCOME TO WODNAFO 10
Adelaide, Australia
Feb, 8-12th, 2010
 
WODNAFO 10 (the Workshop on Data Networks as Formal Objects) will be held from Feb 8-12th in Adelaide, Australia. This event focuses on research and practical applications of treating data networks as formal mathematical objects. For instance:
  • Languages for the description of networks;
  • Automating the configuration of networks;
  • Constructing proofs of the properties of networks.
but there are many other related topics.
The workshop is intentionally kept small and focussed with only invited attendees.
 
CONTACT INFO:
Nick Falkner
Matthew Roughan
IMPORTANT DATES:
Reception Feb 8th, 2010
Workshop Feb 8-12th, 2010


Sponsorship

WODNAFO 10 would like to thank the ARC Communications Research Network (ACoRN) for sponsorship of the workshop.