Parallel Proofs for Parallel Programs

Time and Location:

March 27, 2015 at 11:30AM; Warren Weaver Hall, Room TBA,

Speaker:

Zachary Kincaid, University of Toronto