2014-05-19: Seminar Bjørner (TU Denmark) on 40 years of Formal Methods

Dines Bjørner delineates what is meant by method, formal method, computer science, computing science, software engineering, and model-oriented and algebraic methods. Based on that he characterises a spectrum from specification-oriented methods to analysis-oriented methods. Then he provides a survey: which are the prerequisite works that have enabled formal methods and which are, to us, the classical formal methods. A related paper is at http://www.imm.dtu.dk/~dibj/2014/fm40-paper.pdf

2014-05-06: NSW Big Picture Seminar Cutting (Stanford University, California) on The Future of Data
In recent years a wide range of new technologies have disrupted traditional data management. We're now in the middle of a revolution in data processing methods. Choosing allegiances in a revolution is risky. In this talk, Doug will present the underlying causes of the revolution and predict how the data world might look once we're through it.

2014-05-05 CeBIT Australia
NICTA's stand at CeBIT showcases our trustworthy systems technology

2014-04-08 Most Influential Paper Award — ASWEC 2014
Liming Zhu and Ross Jeffery from SSRG just won the most influential paper award at ASWEC 2014 for their paper “A framework for classifying and comparing software architecture evaluation methods” published in ASWEC 2004. The paper gathered a total of 160 citations.

2014-04-06 Book Release for Public Review — DevOps: A Software Architect's Perspective
Len Bass, Ingo Weber and Liming Zhu are currently writing a book titled “DevOps: A Software Architect's Perspective,” which they will be releasing one chapter per month for public review. The first 6 chapters are currently available and already have 500 views each.