
Abstract

Abstract
Wednesday, September 28, 2016 4:00 PM
Cognitive Systems: Designing Interactions that Think With Us
Wednesday, June 7, 2017 at 4:00 PM
Free Innovation
Wednesday, November 29, 2017 at 4:00 PM
Toward Gamification of Proofs about Programs