Prof. Paul Krause attended the inaugural Annual International Conference on Real-Time and Embedded Systems (RTES) in Singapore on 1/2 November.
He had been invited to give the keynote talk at the joint opening of RTES and the associated Advances in Distributed and Parallel Computing conference.
In addition, he received the Best Research Paper award for his presentation of his work with Mike Shields and Sotiris Moschoyiannis on "Behavioural Presentations and an Automata Theory of Components".