Workshop on Computation: Theory and Practice 2012 presentation