Proceedings - Heiser, Gernot, (Australian computer science communications ;)