IronFleet: Proving Practical Distributed Systems Correct

Time and Location:

Feb. 01, 2016 at 2PM; Location TBA

Speaker:

Jay Lorch, Microsoft Research