SML research talks are in Meeting Room D (NICTA CRL Level 3) on Thursdays from 11am-noon. Visitors are welcome; please contact Scott Sanner or Tiberio Caetano (first.last@nicta.com.au) to arrange access to NICTA for the talk.