2012-07-04: Best Paper Award — CICM 2012

Timothy Bourke, Matthias Daum, Gerwin Klein and Rafal Kolanski won this year's best paper award at the Conferences on Intelligent Computer Mathematics (CICM 2012) for their submission Challenges and Experiences in Managing Large-Scale Proofs. Their paper describes problems and solutions specific to large machine-checked proofs such as NICTA's seL4 microkernel verification or formally verified software stacks as in the German Verisoft project. Such proofs take multiple people over multiple years. They create new problems, because no single human has the ability to understand all details of all aspects of the proof.

2012-05-28: Best Paper Award — EASE 2012

Liming Zhu, Ross Jeffery & Jason Zhang won the Best Paper Award @ the 17th International Conference on Evaluation & Assessment in Software Engineering (EASE 2012). This paper, An Initial Evaluation of Requirements Dependency Types in Change Propagation Analysis is the result of ongoing collaboration with the Chinese Academy of Science and improves the understanding of systems dependency in change propagation.

2012-04-17: Associate Editor @ the Journal of Research and Practice in Information Technology

Guido Governatori has been made Associate Editor of the Journal of Research and Practice in Information Technology. The Journal has a dual emphasis and contains articles that are of interest both to practicing information technology professionals and to university and industry researchers. In particular, it encourages papers that report on activities that have successfully connected fundamental and applied research with practical application.

2012-04-02: Program Committee co-chair @ VEE 2013
Gernot Heiser has accepted the position of PC co-chair @ the 9th Annual Conference on Virtual Execution Environments (VEE 2013) to be held in Houston, Texas, USA.

2012-03-30: SSRG awarded Australia-China Mission Grant

Liming Zhu, Ross Jeffery, Quanqing Xu & Anna Liu have been awarded the Australia-China Group Mission Grant from the Dept of Industry & Innovation, Science, Research & Tertiary Education. This will be used to promote research and technology collaborations with the Institute of Software Chinese Academy of Science (ISCAS) and Peking University, to build dependable systems and demonstrate NICTA technologies to companies in China.