Dan Suciu Professor, University of Washington Website Program Visits Logical Structures in Computation, Fall 2016. Workshop Organizer.