Roger Osborne represented the AustESE Project at the annual Book Logic symposium, hosted by the University of Western Australia on 29 June 2012. The Book Logic series of symposia was established in…