Parallel Proofs for Parallel Programs

Time and Location:

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

Speaker:

Zachary Kincaid, University of Toronto