Friday, December 5, 2014 - 2:00pm cohen G17 Paper Title Computation: From Axiomatization to Embodiment