2013-03-12: Seminar Freytag (University of Humboldt) on Privacy Challenges in Data intensive Processing Systems
Over the last years, the means to collect personal data implicitly or explicitly over the Web and by various kinds of sensors and to combine data for profiling individuals dramatically increased thus leading privacy violations.

2013-03-01: Seminar Berghammer (University of Kiel) on Simple Games and the Use of BDDs for solving Problems
Simple games are yes/no cooperative games which arise in many practical applications, such as in political sciences and economics. We have obtained amazing positive results when using the BDD-based relation algebra tool RelView for solving computational problems on them.

2013-02-26: Seminar Panangaden (McGill University) on Duality for Transition Systems
In this talk we consider the problem of representing and reasoning about systems, especially probabilistic systems, with hidden state. � We consider transition systems where the state is not completely visible to an outside observer. Instead, there are observables that partly identify the state

2013-02-21: Seminar Stumm (University of Toronto) on Improving Memory Access Locality
While parallel hardware substrate has evolved considerably over time, a key performance problem has remained the same: how best to feed processing cores with data fast enough. Managing locality is a key aspect of mitigating the memory wall. Yet this is non-trivial given unpredictable memory sharing patterns, coupled with complex and distributed memory hierarchies.

2013-02-05: First NICTA Software Systems Summer School - Sydney Australia.
Featuring lectures by international leaders in computer systems from industry and academia, interspersed with short student talks and poster sessions. Topics include virtual machines, hypervisors, compilers, operating systems, language implementation, memory management and security.