Performance Evaluation and Model Checking Join Forces

• The Robot Revolution Is Just Beginning
  MIT News Office
• Possible Hadoop Trajectories
  Michael Stonebraker and Jeremy Kepner
• Why the Death of DRM Would Be Good News for Readers, Writers, and Publishers
  The Guardian

Conferences:

• SACMAT 2012: The 17th ACM Symposium on Access Control Models and Technologies - June 20 – 22, 2012;  Newark, NJ, USA

Courses:

• Security Awareness (Second Edition) (Part 3): Promoting Email Security and Proper Responses to Security Incidents - For students who will apply the techniques needed to secure computers, networks, Internet connections, and files. Students will also identify ways of determining potential security …

• A static technique for fault localization using character n-gram based information retrieval model
  ISEC '12: Proceedings of the 5th India Software Engineering Conference
• SIG: end-user programming
  CHI EA '12: Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts
• Report from the 2nd international workshop on replication in empirical software engineering research (RESER 2011)
  SIGSOFT Software Engineering Notes