2014 Thomas and Yvonne Williams Symposium for the Advancement of Logic, Philosophy, and Technology, University of Pennsylvania