Certified Concurrent and Distributed Systems

Time and Location:

Feb. 12, 2016 at 11:30AM; Warren Weaver Hall, Room 1302

Speaker:

Mohsen Lesani, MIT