Location: Room 308a and 308b (they're adjacent), on the third floor of the Schulz Building (in the University of Adelaide), just off Kintore Av. See Local Info for maps showing where things are.

Draft Schedule:
6-7th Feb
 
Arrivals
 
Monday 8th Feb: Network Autoconfiguration Day
 
09:00-09:10 Welcome Nick Falkner
09:10-10:00 Introduction, Matthew Roughan
10:00-10:30 Morning Tea
10:30-12:00 Session 1: Network Design and Operations
 
12:00-14:00 Lunch: Eros, Rundle St
14:00-15.15 Session 2: Autoconfiguration Demos/Descriptions
 
15.15-15:45 Afternoon Tea
15:45-17.00 Session 3: Network Algebras for Engineers, Hung Nguyen
17.00- Informal reception: Griffin's Head
 
 
Tuesday 9th Feb: Network Algebras Day
 
09:00-10:40 Session 4: Stratified Shortest-Path Routing, Tim Griffin
10:40-11:10 Morning Tea
11:10-12:00 Nearest Neighbour Modelling for Finite State Processes indexed, Lang White
12:00-14:00 Lunch: baguettes
14:00-15.15 Session 5: Applications of Algebras
 
15.15-15:45 Afternoon Tea
15:45-17.00 Session 6: Position Statements
 
19:30- Dinner: Brasserie
 
 
Wed 10th Feb
 
09:00-10:30 Update on Software Engineering using Formal Methods, David Hemer
10:30-11:00 Morning Tea
11:00-12.00 Session 7: Position Statements (continued)
 
12:00-14:00 Lunch: Stag, Rundle St
14:00-15.30 Group breakout session
 
  • Network Algebras and abstract languages
  • Network models towards configurations
  • From observations to abstractions
15.30-16:00 Afternoon Tea
16:00-17.00 Consolidation
 
 
Thursday 11th Feb
 
09:00-10:00 Visit to Central Market
10:00-10:30 Morning Tea
10:30-12:00 Autoconfiguration: Review of other work
 
  • Laurent Vanbever
  • Simon Knight
12:00-14:00 Lunch: everyone to organize own lunch
14:00-15.30 Group breakout session
 
  • Network Algebra's and abstract languages
  • Network models towards configurations
  • From observations to abstractions
15.30-16:00 Afternoon Tea
16:00-17.00 Consolidation
19:30- Dinner: Ding Hao, Gouger St
 
 
Friday 12th Feb
 
9:00-10.30 Group breakout session
 
  • Network Algebra's and abstract languages
  • Network models towards configurations
  • From observations to abstractions
10.30-11:00 Morning Tea
11:00-12.00 Consolidation and close
 


Sponsorship

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