Home → Magazine Archive → June 2015 (Vol. 58, No. 6)
Table of Contents
PDFPages 8-9
Bringing Evidence-Based Education to CS
Mark Guzdial says computer science teachers should use more evidence, less intuition.
Pages 10-11The growth of structural biology brings new challenges for the world's protein data archive.
Pages 12-14Pages 24-27
Pages 28-31
Pages 32-33
Considering the implications of digital data removal implementations.
Pages 34-35Computing crosses cosmology and makes the case for agnosticism.
Pages 36-38An Interview with U.S. Chief Technology Officer Megan Smith
Recently appointed U.S. CTO Megan Smith discusses her evolving governmental role.
Pages 39-43Pages 44-47
Pages 54-60
Colored Petri Nets: A Graphical Language For Formal Modeling and Validation of Concurrent Systems
Pages 61-70Turing Lecture: The Computer Science of Concurrency: The Early Years
Leslie Lamport is the recipient of the 2013 ACM A.M. Turing Award.
Pages 71-76Pages 78-89
Page 92
Pages 104-ff